Public Git Hosting - nixpkgs-libre.git/search

2010-02-18	maggesi	Updated nixkpkgs/pkgs/os-specific/linux/dmtcp/devel.nix	commit \| commitdiff \| tree
2010-02-15	maggesi	Add HOL Light and its dependencies.	commit \| commitdiff \| tree
2010-02-13	maggesi	Add package dmtcp_devel	commit \| commitdiff \| tree
2010-02-04	maggesi	Add new package pkgs/os-specific/linux/dmtcp/	commit \| commitdiff \| tree
2010-02-01	maggesi	Fix bugs and improve pkgs/servers/openafs-client	commit \| commitdiff \| tree
2009-12-11	maggesi	Add expression for Isabelle2009	commit \| commitdiff \| tree
2009-12-11	maggesi	Add expression for ProofGeneral	commit \| commitdiff \| tree
2009-12-10	maggesi	Add expression for PolyML	commit \| commitdiff \| tree
2009-12-03	maggesi	Fixed download url for Unison File Syncronizer.	commit \| commitdiff \| tree
2009-11-10	maggesi	Add package OpenAFS (added forgotten files)	commit \| commitdiff \| tree
2009-11-10	maggesi	Add package OpenAFS	commit \| commitdiff \| tree
2009-11-10	maggesi	Add package ledger	commit \| commitdiff \| tree
2009-11-09	maggesi	Reintroduced attribute scsh accidentally removed in...	commit \| commitdiff \| tree
2009-11-08	maggesi	New version of cryopid.	commit \| commitdiff \| tree
2009-11-07	maggesi	Add packages scsh, The Scheme Shell	commit \| commitdiff \| tree
2009-11-06	maggesi	Add MIT Kerberos implementation krb5.	commit \| commitdiff \| tree
2009-11-05	maggesi	Preliminary version of package ssreflect	commit \| commitdiff \| tree
2009-11-02	maggesi	Updated Coq to version 8.2pl1	commit \| commitdiff \| tree
2009-11-02	maggesi	Added camlp5 the preprocessor-pretty-printer for OCaml	commit \| commitdiff \| tree

Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)

RSS Atom