/scripts/

• ../
• guix.in

	index : guix	koszko koszko-scripts
	Wojtek's customized Guix

aboutsummaryrefslogtreecommitdiff

log msg author committer range

path: root/gnu/packages/ocaml.scm

Age	Commit message (Expand)	Author
2017-11-24	gnu: coq-interval: Fix source URL for 3.3.0....	Ludovic Courtès
2017-11-07	Fix ambiguous imports....	Ludovic Courtès
2017-10-28	gnu: Add ocaml-utop....	Peter Kreye
2017-10-28	gnu: Add ocaml-findlib-1.7.3....	Peter Kreye
2017-10-28	gnu: Add ocaml-lambda-term....	Peter Kreye
2017-10-28	gnu: Add ocaml-zed....	Peter Kreye
2017-10-28	gnu: Add ocaml-jbuilder....	Peter Kreye
2017-10-22	gnu: Update coq-interval to 3.3.0....	Julien Lepiller
2017-10-22	gnu: Add coq-bignums....	Julien Lepiller
2017-10-22	gnu: Update coq-coquelicot to 3.0.1....	Julien Lepiller
2017-10-22	gnu: Update coq-mathcomp to 1.6.2....	Julien Lepiller
2017-10-22	gnu: Update coq-flocq to 2.6.0....	Julien Lepiller
2017-10-22	gnu: Update coq to 8.7.0....	Julien Lepiller
2017-10-22	gnu: camlp5: install META file....	Julien Lepiller
2017-09-27	gnu: Add ocaml-camomile....	Julien Lepiller
2017-09-27	gnu: Add bap....	Julien Lepiller
2017-09-27	gnu: Add ocaml-piqi....	Julien Lepiller
2017-09-27	gnu: Add ocaml-graph....	Julien Lepiller
2017-09-27	gnu: Add ocaml-uuidm....	Julien Lepiller
2017-09-27	gnu: Add ocaml-piqilib....	Julien Lepiller
2017-09-27	gnu: Add ocaml-optcomp....	Julien Lepiller
2017-09-27	gnu: Add ocaml-easy-format....	Julien Lepiller
2017-09-27	gnu: Add ocaml-uri....	Julien Lepiller
2017-09-27	gnu: Add ocaml-ezjsonm....	Julien Lepiller
2017-09-04	gnu: Put autoconf-related phases immediately after the 'unpack phase....	Kei Kebreau
2017-09-01	gnu: Add emacs-tuareg....	Oleg Pykhalov
2017-07-29	gnu: Add coq-interval....	Julien Lepiller
2017-07-29	gnu: Add coq-coquelicot....	Julien Lepiller
2017-07-29	gnu: Add coq-mathcomp....	Julien Lepiller
2017-07-29	gnu: Add coq-gappa....	Julien Lepiller
2017-07-29	gnu: Add coq-flocq....	Julien Lepiller