?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Add HOL Light and its dependencies.
2010-02-15 maggesiAdd HOL Light and its dependencies.
 commit | commitdiff | tree
2010-02-13 maggesiAdd package dmtcp_devel
 commit | commitdiff | tree
2010-02-04 maggesiAdd new package pkgs/os-specific/linux/dmtcp/
 commit | commitdiff | tree
2010-02-01 maggesiFix bugs and improve pkgs/servers/openafs-client
 commit | commitdiff | tree
2009-12-11 maggesiAdd expression for Isabelle2009
 commit | commitdiff | tree
2009-12-11 maggesiAdd expression for ProofGeneral
 commit | commitdiff | tree
2009-12-10 maggesiAdd expression for PolyML
 commit | commitdiff | tree
2009-12-03 maggesiFixed download url for Unison File Syncronizer.
 commit | commitdiff | tree
2009-11-10 maggesiAdd package OpenAFS (added forgotten files)
 commit | commitdiff | tree
2009-11-10 maggesiAdd package OpenAFS
 commit | commitdiff | tree
2009-11-10 maggesiAdd package ledger
 commit | commitdiff | tree
2009-11-09 maggesiReintroduced attribute scsh accidentally removed in...
commit | commitdiff | tree
2009-11-08 maggesiNew version of cryopid.
 commit | commitdiff | tree
2009-11-07 maggesiAdd packages scsh, The Scheme Shell
 commit | commitdiff | tree
2009-11-06 maggesiAdd MIT Kerberos implementation krb5.
 commit | commitdiff | tree
2009-11-05 maggesiPreliminary version of package ssreflect
 commit | commitdiff | tree
2009-11-02 maggesiUpdated Coq to version 8.2pl1
 commit | commitdiff | tree
2009-11-02 maggesiAdded camlp5 the preprocessor-pretty-printer for OCaml
 commit | commitdiff | tree
Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)