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
25c7d51515
nixpkgs
/
pkgs
/
applications
/
science
/
logic
History
Michael Raskin
e55aa52856
Fix lablgtk reference
...
svn path=/nixpkgs/trunk/; revision=25341
2011-01-02 17:25:18 +00:00
..
coq
Fix lablgtk reference
2011-01-02 17:25:18 +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