~ruther/guix-local

ref: b438d7cfa8154aaf0b7ea0d64bd45e2c33db455e guix-local/gnu/packages/ocaml.scm -rw-r--r-- 159.5 KiB
484d68f2 — Tobias Geerinckx-Rice 8 years ago 
gnu: ocaml-utop: Update to 2.0.2.

* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.0.2
0e43721f — Tobias Geerinckx-Rice 8 years ago 
gnu: ocaml-jbuilder: Update to 1.0+beta16.

* gnu/packages/ocaml.scm (ocaml-jbuilder): Update to 1.0+beta16
36dba63b — Tobias Geerinckx-Rice 8 years ago 
gnu: ocaml-ssl: Expand description.

* gnu/packages/ocaml.scm (ocaml-ssl)[description]: Expand based on Debian's.
26b438e0 — Tobias Geerinckx-Rice 8 years ago 
gnu: ocaml-ssl: Update to 0.5.5.

* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.5
7b20cd57 — Tobias Geerinckx-Rice 8 years ago 
gnu: ocaml-bitstring: Update to 2.1.1.

* gnu/packages/ocaml.scm (ocaml-bitstring): Update to 2.1.1
f7f8930b — Ludovic Courtès 8 years ago 
gnu: coq-interval: Fix source URL for 3.3.0.

This is a followup to 6efc99967800183daa74ba2ebff6185dfcf1b33d.
Fixes <https://bugs.gnu.org/29284>.
Reported by Efraim Flashner <efraim@flashner.co.il>.

* gnu/packages/ocaml.scm (coq-interval): Adjust URL.
0ad5f809 — Ludovic Courtès 8 years ago 
Fix ambiguous imports.

* gnu/packages/ocaml.scm: Hide 'zip' from (srfi srfi-1).
* guix/git.scm: Select 'mkdir-p' from (guix build utils).
90ab26fa — Peter Kreye 8 years ago 
gnu: Add ocaml-utop.

* gnu/packages/ocaml.scm (ocaml-utop): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
50856b73 — Peter Kreye 8 years ago 
gnu: Add ocaml-findlib-1.7.3.

* gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): New variable.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
e88ff71c — Peter Kreye 8 years ago 
gnu: Add ocaml-lambda-term.

* gnu/packages/ocaml.scm (ocaml-zed): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
cd4abd29 — Peter Kreye 8 years ago 
gnu: Add ocaml-zed.

* gnu/packages/ocaml.scm (ocaml-zed): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
c00233ac — Peter Kreye 8 years ago 
gnu: Add ocaml-jbuilder.

* gnu/packages/ocaml.scm (ocaml-jbuilder): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
6efc9996 — Julien Lepiller 8 years ago 
gnu: Update coq-interval to 3.3.0.

* gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0.
[inputs]: Add coq-bignums.
dbfb1a59 — Julien Lepiller 8 years ago 
gnu: Add coq-bignums.

* gnu/packages/ocaml.scm (coq-bignums): New variable.
3ffd180c — Julien Lepiller 8 years ago 
gnu: Update coq-coquelicot to 3.0.1.

* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
2e331c9c — Julien Lepiller 8 years ago 
gnu: Update coq-mathcomp to 1.6.2.

* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
b44f13e0 — Julien Lepiller 8 years ago 
gnu: Update coq-flocq to 2.6.0.

* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
6e4da737 — Julien Lepiller 8 years ago 
gnu: Update coq to 8.7.0.

* gnu/packages/ocaml.scm (coq): Update to 8.7.0.
[build-system]: Use ocaml-build-system.
[inputs]: Add python-2.
[arguments]: Disable two failing tests.
07b4cd3a — Julien Lepiller 8 years ago 
gnu: camlp5: install META file.

* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
7716ccd5 — Marius Bakke 8 years ago 
Merge branch 'master' into staging
Next