HCoop Git - jackhill/guix/guix.git/history

HCoop / jackhill / guix / guix.git / history

[jackhill/guix/guix.git] / gnu / packages / ocaml.scm

2018-06-20	Julien Lepiller	gnu: ocaml: Build reproducibly.	blob \| commitdiff \| raw
2018-06-06	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-05	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-05	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-05	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-04	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-03	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-02	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-06-01	Ludovic Courtès	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-31	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-31	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-30	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-30	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-29	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-29	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-27	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-24	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-21	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-21	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-17	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-08	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-06	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-05-04	Julien Lepiller	gnu: coq-coquelicot: Fix for coq 8.8.	blob \| commitdiff \| raw \| diff to current
2018-05-04	Julien Lepiller	gnu: coq-bignums: Update to 8.8.0.	blob \| commitdiff \| raw \| diff to current
2018-05-04	Julien Lepiller	gnu: coq-mathcomp: Update to 1.7.0.	blob \| commitdiff \| raw \| diff to current
2018-05-04	Julien Lepiller	gnu: coq-gappa: Update to 1.3.2.	blob \| commitdiff \| raw \| diff to current
2018-05-04	Julien Lepiller	gnu: coq-flocq: Update to 2.6.1.	blob \| commitdiff \| raw \| diff to current
2018-05-04	Julien Lepiller	gnu: coq: Update to 8.8.0.	blob \| commitdiff \| raw \| diff to current
2018-04-30	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-04-30	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-04-21	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-04-16	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2018-04-12	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-04-12	Mark H Weaver	gnu: ocaml-findlib: Return #t from all phases.	blob \| commitdiff \| raw \| diff to current
2018-04-12	Mark H Weaver	gnu: camlp5: Return #t from all phases.	blob \| commitdiff \| raw \| diff to current
2018-04-11	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-04-10	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-04-06	Marius Bakke	gnu: ldc, bap: Build with Clang 3.8.	blob \| commitdiff \| raw \| diff to current
2018-03-29	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-03-23	Tobias Geerinckx...	gnu: coq-flocq: Use predictable source URI.	blob \| commitdiff \| raw \| diff to current
2018-03-20	Tobias Geerinckx...	gnu: coq-flocq: Update phase style.	blob \| commitdiff \| raw \| diff to current
2018-03-20	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-03-20	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-03-18	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2018-03-17	Tobias Geerinckx...	gnu: Fix common unquote typos.	blob \| commitdiff \| raw \| diff to current
2018-03-17	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-03-16	Mark H Weaver	gnu: All snippets report errors using exceptions, else...	blob \| commitdiff \| raw \| diff to current
2018-03-14	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-ssl: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-lwt: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-bitstring: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-piqi: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-result: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-stringext: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-qtest: Update to 2.8.	blob \| commitdiff \| raw \| diff to current
2018-03-13	Efraim Flashner	gnu: ocaml-qtest: Declare a source file-name.	blob \| commitdiff \| raw \| diff to current
2018-02-20	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2018-02-17	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-16	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-14	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-13	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-11	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-09	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-04	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-04	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-02-01	Peter Kreye	gnu: ocaml-findlib: Update to 1.7.3.	blob \| commitdiff \| raw \| diff to current
2018-02-01	Peter Kreye	gnu: Add ocaml-tsdl.	blob \| commitdiff \| raw \| diff to current
2018-02-01	Peter Kreye	gnu: Add ocaml-ocb-stubblr.	blob \| commitdiff \| raw \| diff to current
2018-02-01	Peter Kreye	gnu: Add ocaml-ctypes.	blob \| commitdiff \| raw \| diff to current
2018-02-01	Peter Kreye	gnu: Add ocaml-integers.	blob \| commitdiff \| raw \| diff to current
2018-02-01	Peter Kreye	gnu: ocaml-findlib-1.7.3: Fix install.	blob \| commitdiff \| raw \| diff to current
2018-02-01	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-26	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-24	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-23	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-20	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-11	Leo Famulari	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-10	Tobias Geerinckx...	gnu: ocaml-zed: Update to 1.6.	blob \| commitdiff \| raw \| diff to current
2018-01-05	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-03	Leo Famulari	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-01-02	Mark H Weaver	gnu: ocaml: Use gcc:lib from gcc, not gcc-4.9.	blob \| commitdiff \| raw \| diff to current
2017-12-31	Efraim Flashner	Merge remote-tracking branch 'origin/master' into core...	blob \| commitdiff \| raw \| diff to current
2017-12-23	Tobias Geerinckx...	gnu: ocaml-utop: Update to 2.0.2.	blob \| commitdiff \| raw \| diff to current
2017-12-23	Tobias Geerinckx...	gnu: ocaml-jbuilder: Update to 1.0+beta16.	blob \| commitdiff \| raw \| diff to current
2017-12-23	Tobias Geerinckx...	gnu: ocaml-ssl: Expand description.	blob \| commitdiff \| raw \| diff to current
2017-12-23	Tobias Geerinckx...	gnu: ocaml-ssl: Update to 0.5.5.	blob \| commitdiff \| raw \| diff to current
2017-12-23	Tobias Geerinckx...	gnu: ocaml-bitstring: Update to 2.1.1.	blob \| commitdiff \| raw \| diff to current
2017-12-05	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-11-24	Ludovic Courtès	gnu: coq-interval: Fix source URL for 3.3.0.	blob \| commitdiff \| raw \| diff to current
2017-11-19	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-11-06	Ludovic Courtès	Fix ambiguous imports.	blob \| commitdiff \| raw \| diff to current
2017-11-01	Efraim Flashner	Merge remote-tracking branch 'origin/master' into core...	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-utop.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-findlib-1.7.3.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-lambda-term.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-zed.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-jbuilder.	blob \| commitdiff \| raw \| diff to current
2017-10-26	Efraim Flashner	Merge remote-tracking branch 'origin/python-updates...	blob \| commitdiff \| raw \| diff to current
2017-10-22	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Update coq-interval to 3.3.0.	blob \| commitdiff \| raw \| diff to current
next

jackhill's copy of GNU Guix: https://guix.gnu.org/

RSS Atom