?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
* Add ocaml 3.12.0
2010-12-09 maggesi* Add ocaml 3.12.0
 commit | commitdiff | tree
2010-11-08 maggesiAdd CMUCL Common Lisp compiler
 commit | commitdiff | tree
2010-11-04 maggesiUpdate Coq
 commit | commitdiff | tree
2010-11-03 maggesiUpdate HOL Light
 commit | commitdiff | tree
2010-09-22 maggesiUpdate fossil
 commit | commitdiff | tree
2010-09-15 maggesiUpdate HOL Light to version 20100820 (rev57 on google...
commit | commitdiff | tree
2010-09-15 maggesiChange the name of the coq derivation to coq-devel...
commit | commitdiff | tree
2010-09-14 maggesiAdd coq-8.3rc1
 commit | commitdiff | tree
2010-09-08 maggesiImprove hol_light:
 commit | commitdiff | tree
2010-09-08 maggesiAdd a patch to dmtcp to allow the restart of checkpointed...
commit | commitdiff | tree
2010-09-03 maggesiRemove configure file for OCaml 3.09.1 which is not...
commit | commitdiff | tree
2010-09-03 maggesiInclude directory for OCaml's C headers.
 commit | commitdiff | tree
2010-08-26 maggesiUpdate fossil to version 2010-08-23 22:24:16
 commit | commitdiff | tree
2010-08-17 maggesiImprove os-specific/linux/blcr. Fix a problem with...
commit | commitdiff | tree
2010-08-05 maggesiUpdate Coq to version 8.2pl2 (patch by roconnor)
 commit | commitdiff | tree
2010-08-04 maggesiRemove obsolete expression for dmtcp-devel
 commit | commitdiff | tree
2010-08-03 maggesiUpgrade dmtcp to version 1.1.8
 commit | commitdiff | tree
2010-07-30 maggesiUpgrade fossil to version 2010-07-03
 commit | commitdiff | tree
2010-05-31 maggesiUpdate Fossil to the new version
 commit | commitdiff | tree
2010-05-22 maggesiAdd italian dictionary for aspell
 commit | commitdiff | tree
2010-05-12 maggesiAdd package for Fossil
 commit | commitdiff | tree
2010-05-12 maggesiAdd myself to nixpkgs/pkgs/lib/maintainers.nix
 commit | commitdiff | tree
2010-05-11 maggesiAdd expression for Coq 8.3 beta
 commit | commitdiff | tree
2010-04-15 maggesipkgs/os-specific/linux/blcr: update to version 0.8.2
 commit | commitdiff | tree
2010-02-23 maggesiUpdated nixpkgs/pkgs/os-specific/linux/dmtcp
 commit | commitdiff | tree
2010-02-18 maggesiUpdated nixkpkgs/pkgs/os-specific/linux/dmtcp/devel.nix
 commit | commitdiff | tree
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)