This website requires JavaScript.
Explore
Help
Sign In
NixOS
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/NixOS/nixpkgs
synced
2024-10-19 03:47:13 -04:00
Code
Activity
a4cf1b8456
nixpkgs
/
pkgs
/
applications
/
science
/
logic
History
Marco Maggesi
436e1d72a7
* Coq: fix compilation of coqide (path to lablgkt)
...
svn path=/nixpkgs/trunk/; revision=25360
2011-01-03 13:49:15 +00:00
..
coq
* Coq: fix compilation of coqide (path to lablgkt)
2011-01-03 13:49:15 +00:00
cvc3
eProver
hol
hol_light
* Handle variable createFindlibDestdir correctly in ocaml-findlib
2010-12-23 19:28:06 +00:00
iprover
isabelle
leo2
matita
Matita and its dependencies.
2010-12-31 17:48:55 +00:00
minisat
opensmt
prover9
satallax
spass
ssreflect