~ruther/guix-local

ref: b200ecdeb2ba97bcaeec04a4da5e31736f00a5ea guix-local/gnu/packages/ocaml.scm -rw-r--r-- 159.3 KiB
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
408091d5 — Julien Lepiller 8 years ago 
gnu: Add ocaml-camomile.

* gnu/packages/ocaml.scm (ocaml-camomile): New variable.
cd1562ef — Julien Lepiller 8 years ago 
gnu: Add bap.

* gnu/packages/ocaml.scm (bap): New variable.
fc3d70ae — Julien Lepiller 8 years ago 
gnu: Add ocaml-piqi.

* gnu/packages/ocaml.scm (ocaml-piqi): New variable.
8a238180 — Julien Lepiller 8 years ago 
gnu: Add ocaml-graph.

* gnu/packages/ocaml.scm (ocaml-graph): New variable.
* gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch: New
file.
* gnu/local.mk (dist_patch_DATA): Add it.
88b1533c — Julien Lepiller 8 years ago 
gnu: Add ocaml-uuidm.

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