summary refs log tree commit diff
path: root/pkgs/applications/science/logic/abc
Commit message (Expand)AuthorAge
* abc-verifier: fix typo in metaVladimír Čunát2017-07-15
* abc-verifier: Add http url scheme to abc homepageMario Rodas2017-04-23
* nixpkgs: abc-verifier 20160813 -> 20160818Austin Seipp2016-08-19
* nixpkgs: abc-verifier 20150614 -> 20160813Austin Seipp2016-08-13
* nixpkgs: abc-verifier 20150406 -> 20150614Austin Seipp2015-06-14
* nixpkgs: abc-verifier 20140509 -> 20150406Austin Seipp2015-04-06
* abc: export buildFlags in the preBuildJohn Wiegley2015-01-03
* fetchbzr, fetchdarcs, fetchhg: use `rev` attrBenno Fünfstück2014-06-28
* nixpkgs: add abc version 040509Austin Seipp2014-05-17