Public Git Hosting - nixpkgs-libre.git/search

2011-01-03	maggesi	* Coq: fix compilation of coqide (path to lablgkt)	commit \| commitdiff \| tree
2011-01-01	maggesi	* Fix building of OCaml on Darwin. Gnu sed changed...	commit \| commitdiff \| tree
2010-12-23	maggesi	* Handle variable createFindlibDestdir correctly in...	commit \| commitdiff \| tree
2010-12-21	maggesi	* Remove useless code put by error in camomile	commit \| commitdiff \| tree
2010-12-21	maggesi	* Add variable createFindlibDestdir to the setupHook...	commit \| commitdiff \| tree
2010-12-21	maggesi	* Remove the automatic creation of a directory from...	commit \| commitdiff \| tree
2010-12-20	maggesi	* Update lablgtk2 (and enable hydra build)	commit \| commitdiff \| tree
2010-12-20	maggesi	* Update camlp5	commit \| commitdiff \| tree
2010-12-20	maggesi	* Add findlib to hydra	commit \| commitdiff \| tree
2010-12-12	maggesi	* Add ocamlnet	commit \| commitdiff \| tree
2010-12-12	maggesi	* Fix installation of camlzip	commit \| commitdiff \| tree
2010-12-12	maggesi	* take camlzip META file from GODI	commit \| commitdiff \| tree
2010-12-11	maggesi	* Add ocaml-sqlite3	commit \| commitdiff \| tree
2010-12-11	maggesi	* Enable hydra build for ocaml-batteries, camlzip,...	commit \| commitdiff \| tree
2010-12-11	maggesi	* Put ocaml 3.12.0 at lower priority because it is...	commit \| commitdiff \| tree
2010-12-11	maggesi	* Narrow ocaml platforms to linux and darwin	commit \| commitdiff \| tree
2010-12-09	maggesi	* Enable hydra compilation for ocaml 3.11.1 (error...	commit \| commitdiff \| tree
2010-12-09	maggesi	* Enable hydra compilation for ocaml 3.11.1	commit \| commitdiff \| tree
2010-12-09	maggesi	* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml...	commit \| commitdiff \| tree
2010-12-09	maggesi	* Add ocaml 3.12.0	commit \| commitdiff \| tree
2010-11-08	maggesi	Add CMUCL Common Lisp compiler	commit \| commitdiff \| tree
2010-11-04	maggesi	Update Coq	commit \| commitdiff \| tree
2010-11-03	maggesi	Update HOL Light	commit \| commitdiff \| tree
2010-09-22	maggesi	Update fossil	commit \| commitdiff \| tree
2010-09-15	maggesi	Update HOL Light to version 20100820 (rev57 on google...	commit \| commitdiff \| tree
2010-09-15	maggesi	Change the name of the coq derivation to coq-devel...	commit \| commitdiff \| tree
2010-09-14	maggesi	Add coq-8.3rc1	commit \| commitdiff \| tree
2010-09-08	maggesi	Improve hol_light:	commit \| commitdiff \| tree
2010-09-08	maggesi	Add a patch to dmtcp to allow the restart of checkpointed...	commit \| commitdiff \| tree
2010-09-03	maggesi	Remove configure file for OCaml 3.09.1 which is not...	commit \| commitdiff \| tree
2010-09-03	maggesi	Include directory for OCaml's C headers.	commit \| commitdiff \| tree
2010-08-26	maggesi	Update fossil to version 2010-08-23 22:24:16	commit \| commitdiff \| tree
2010-08-17	maggesi	Improve os-specific/linux/blcr. Fix a problem with...	commit \| commitdiff \| tree
2010-08-05	maggesi	Update Coq to version 8.2pl2 (patch by roconnor)	commit \| commitdiff \| tree
2010-08-04	maggesi	Remove obsolete expression for dmtcp-devel	commit \| commitdiff \| tree
2010-08-03	maggesi	Upgrade dmtcp to version 1.1.8	commit \| commitdiff \| tree
2010-07-30	maggesi	Upgrade fossil to version 2010-07-03	commit \| commitdiff \| tree
2010-05-31	maggesi	Update Fossil to the new version	commit \| commitdiff \| tree
2010-05-22	maggesi	Add italian dictionary for aspell	commit \| commitdiff \| tree
2010-05-12	maggesi	Add package for Fossil	commit \| commitdiff \| tree
2010-05-12	maggesi	Add myself to nixpkgs/pkgs/lib/maintainers.nix	commit \| commitdiff \| tree
2010-05-11	maggesi	Add expression for Coq 8.3 beta	commit \| commitdiff \| tree
2010-04-15	maggesi	pkgs/os-specific/linux/blcr: update to version 0.8.2	commit \| commitdiff \| tree
2010-02-23	maggesi	Updated nixpkgs/pkgs/os-specific/linux/dmtcp	commit \| commitdiff \| tree
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