guix - Guix

	Commit message (Expand)	Author	Age
*	gnu: ocaml-ounit: Update to 2.0.8.	Tobias Geerinckx-Rice	2018-09-15
*	gnu: coq: Update to 8.8.1.	Tobias Geerinckx-Rice	2018-09-15
*	gnu: coq: INVOKE.	Tobias Geerinckx-Rice	2018-09-15
*	gnu: ocaml: Build reproducibly.	Julien Lepiller	2018-06-20
*	Merge branch 'master' into core-updates	Marius Bakke	2018-05-06
\|\
\| *	gnu: coq-coquelicot: Fix for coq 8.8.	Julien Lepiller	2018-05-04
\| *	gnu: coq-bignums: Update to 8.8.0.	Julien Lepiller	2018-05-04
\| *	gnu: coq-mathcomp: Update to 1.7.0.	Julien Lepiller	2018-05-04
\| *	gnu: coq-gappa: Update to 1.3.2.	Julien Lepiller	2018-05-04
\| *	gnu: coq-flocq: Update to 2.6.1.	Julien Lepiller	2018-05-04
\| *	gnu: coq: Update to 8.8.0.	Julien Lepiller	2018-05-04
* \|	gnu: ocaml-findlib: Return #t from all phases.	Mark H Weaver	2018-04-12
* \|	gnu: camlp5: Return #t from all phases.	Mark H Weaver	2018-04-12
* \|	Merge branch 'master' into core-updates	Mark H Weaver	2018-04-10
\|\\|
\| *	gnu: ldc, bap: Build with Clang 3.8.	Marius Bakke	2018-04-06
* \|	Merge branch 'master' into core-updates	Marius Bakke	2018-03-29
\|\\|
\| *	gnu: coq-flocq: Use predictable source URI.	Tobias Geerinckx-Rice	2018-03-23
\| *	gnu: coq-flocq: Update phase style.	Tobias Geerinckx-Rice	2018-03-20
* \|	Merge branch 'master' into core-updates	Mark H Weaver	2018-03-20
\|\\|
\| *	gnu: Fix common unquote typos.	Tobias Geerinckx-Rice	2018-03-17
* \|	gnu: All snippets report errors using exceptions, else return #t.	Mark H Weaver	2018-03-16
\|/
*	gnu: ocaml-ssl: Declare a source file-name.	Efraim Flashner	2018-03-13
*	gnu: ocaml-lwt: Declare a source file-name.	Efraim Flashner	2018-03-13
*	gnu: ocaml-bitstring: Declare a source file-name.	Efraim Flashner	2018-03-13
*	gnu: ocaml-piqi: Declare a source file-name.	Efraim Flashner	2018-03-13
*	gnu: ocaml-result: Declare a source file-name.	Efraim Flashner	2018-03-13
*	gnu: ocaml-stringext: Declare a source file-name.	Efraim Flashner	2018-03-13
*	gnu: ocaml-qtest: Update to 2.8.	Efraim Flashner	2018-03-13
*	gnu: ocaml-qtest: Declare a source file-name.	Efraim Flashner	2018-03-13
*	Merge branch 'master' into core-updates	Mark H Weaver	2018-02-03
\|\
\| *	gnu: ocaml-findlib: Update to 1.7.3.	Peter Kreye	2018-02-01
\| *	gnu: Add ocaml-tsdl.	Peter Kreye	2018-02-01
\| *	gnu: Add ocaml-ocb-stubblr.	Peter Kreye	2018-02-01
\| *	gnu: Add ocaml-ctypes.	Peter Kreye	2018-02-01
\| *	gnu: Add ocaml-integers.	Peter Kreye	2018-02-01
\| *	gnu: ocaml-findlib-1.7.3: Fix install.	Peter Kreye	2018-02-01
* \|	Merge branch 'master' into core-updates	Leo Famulari	2018-01-11
\|\\|
\| *	gnu: ocaml-zed: Update to 1.6.	Tobias Geerinckx-Rice	2018-01-10
* \|	gnu: ocaml: Use gcc:lib from gcc, not gcc-4.9.	Mark H Weaver	2018-01-02
\|/
*	gnu: ocaml-utop: Update to 2.0.2.	Tobias Geerinckx-Rice	2017-12-23
*	gnu: ocaml-jbuilder: Update to 1.0+beta16.	Tobias Geerinckx-Rice	2017-12-23
*	gnu: ocaml-ssl: Expand description.	Tobias Geerinckx-Rice	2017-12-23
*	gnu: ocaml-ssl: Update to 0.5.5.	Tobias Geerinckx-Rice	2017-12-23
*	gnu: ocaml-bitstring: Update to 2.1.1.	Tobias Geerinckx-Rice	2017-12-23
*	gnu: coq-interval: Fix source URL for 3.3.0.	Ludovic Courtès	2017-11-24
*	Fix ambiguous imports.	Ludovic Courtès	2017-11-07
*	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