John Wiegley
83cf279452
Add an expression for building Coq HEAD
2014-08-08 18:11:00 -05:00
Vladimír Čunát
52d9c93abe
Merge 'staging' into master
2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618
Mark a bunch of packages as broken or not supported on Darwin
2014-08-08 17:59:02 +02:00
Peter Simons
2d326e5032
Merge remote-tracking branch 'origin/master' into staging.
...
Conflicts:
pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Peter Simons
d0ca8c237e
Fix broken license references.
2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
Eelco Dolstra
4f7289eec9
Don't use ensureDir
2014-07-22 11:01:32 +02:00
Benno Fünfstück
e10001042d
fetchbzr, fetchdarcs, fetchhg: use rev attr
...
This makes it match the behaviour of fetchgit and fetchsvn, so it's
easier to write scripts that support all of them.
2014-06-28 21:06:10 +02:00
John Wiegley
34de04149e
twelf: Fix the source URL
2014-06-27 10:46:24 -07:00
John Wiegley
ad96cc8bf9
twelf: new expression; prover for PL theory and logic
2014-06-26 15:54:45 -07:00
Austin Seipp
fe9133d522
verifast: 14.5, x86_64 linux only
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-10 16:38:45 -05:00
John Wiegley
c6261157f8
prooftree: new expression 0.12
2014-06-08 05:35:49 +00:00
Austin Seipp
453f93cc92
Merge pull request #2514 from jwiegley/coq
...
Make Coq buildable on any Unix
2014-05-17 14:49:57 -05:00
Austin Seipp
552db25e7f
nixpkgs: add abc version 040509
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-17 14:09:09 -05:00
Russell O'Connor
5bbcebf2db
Bump coq version to 8.4pl4.
2014-05-12 22:17:00 -04:00
John Wiegley
0a6b317071
Make Coq buildable on any Unix
2014-05-05 00:58:23 -05:00
Michael Raskin
4c55ae8588
Update TPTP and make URL set robust to moving old versions to archive
2014-05-03 00:53:46 +04:00
Austin Seipp
7d58646b08
z3/verifast: update license
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Austin Seipp
6d52463bd3
nixpkgs: add alt-ergo 0.95.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:31 -05:00
Austin Seipp
4ee4f76176
nixpkgs: add why3 0.83
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Austin Seipp
d1a32414cd
nixpkgs: add ltl2ba 1.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:34 -05:00
Austin Seipp
aaa0304a45
nixpkgs: verifast 13.11.14
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 13:46:27 -05:00
Austin Seipp
0f1f2115e9
hol_light: fix script, upgrade to r189
...
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:31:36 -05:00
Austin Seipp
da0c8f33ef
nixpkgs: yices 2.2.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:05:40 -05:00
Austin Seipp
5aa4495cb5
boolector: add version 1.5 and 1.6
...
There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.
As a result, Boolector 1.5 is the default 'boolector' expression.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-07 09:17:05 -05:00
Shea Levy
a0a135d5ef
Merge branch 'z3' of git://github.com/thoughtpolice/nixpkgs
...
z3: version 4.3.1
2014-03-28 23:54:43 -04:00
Austin Seipp
2646eac8b2
z3: version 4.3.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-21 02:50:54 -05:00
Shea Levy
389c3951a8
Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs
...
coq: 8.4pl2 -> 8.4pl3
2014-03-15 13:03:10 -04:00
Michael Raskin
8dc61a6519
Update EKRHyper
2014-03-08 21:12:59 +04:00
Austin Seipp
c0f779ceee
coq: add myself to maintainer list.
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:33 -06:00
Austin Seipp
fa118fc677
coq: 8.4pl2 -> 8.4pl3
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:26 -06:00
Petr Rockai
ed5bd26574
STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
2014-01-25 16:33:12 +01:00
Marco Maggesi
b504b1b4cb
Update HOL Light to revision 179
2014-01-14 15:21:09 +01:00
Nixpkgs Monitor
191f349052
cvc3: update from 2.2 to 2.4.1
2013-12-18 18:18:23 +02:00
Michael Raskin
4140dc2628
Updating EKRHuper
2013-11-25 10:59:35 +04:00
Karn Kallio
6c32416a31
Fix HOL documentation build
2013-11-16 03:43:38 +02:00
Tom Ridge
f13bcf6463
HOL: update to k.8
2013-11-16 02:52:36 +02:00
Eelco Dolstra
c88055e1a2
Set meta.hydraPlatforms instead of meta.platforms for some packages
2013-11-05 00:06:10 +01:00
Michael Raskin
6944de0f94
Updating EProver to 1.8
2013-10-20 21:03:04 +04:00
Michael Raskin
70f609acbf
Updating Ekrhyper
2013-10-20 21:02:37 +04:00
Peter Simons
7e06522645
hol: fix access to dot
...
Committing on behalf of Karn Kallio <tierpluspluslists@skami.org>.
2013-10-11 10:20:37 +02:00
Peter Simons
0ae1a8b847
hol: update to version k.8
...
Committing on behalf of Tom Ridge <tom.j.ridge@googlemail.com>.
2013-10-10 12:00:12 +02:00
Bjørn Forsman
083d0890f5
More description fixes
...
* Remove package name
* Start with upper case letter
* Remove trailing period
Also reword some descriptions and move some long descriptions to
longDescription.
I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Gergely Risko
b43347342b
Add platforms to coq, so it's built on Hydra
2013-08-28 21:35:07 +02:00
Russell O'Connor
3538f7c549
Update download link for ssreflect.
2013-07-14 23:41:55 -04:00
Evgeny Egorochkin
0f99aace03
ssreflect: fix url
2013-07-14 02:08:54 +03:00
Russell O'Connor
c9f5959285
Update Coq to version 8.4pl2.
2013-06-14 12:16:52 -04:00
Evgeny Egorochkin
9c6f7cc9c1
Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.
2013-06-07 03:15:45 +03:00
Michael Raskin
9d92fe013e
Adding E-KRHyper theorem prover
2013-05-09 17:47:58 +04:00
Michael Raskin
646868b2e6
Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
2013-05-09 12:23:27 +04:00
