public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
251,121 Commits 1 Branch 0 Tags
baa93c3deeeefbd55ebd7cf68bfbb4a10b095768
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 8bf29a6014 ocamlPackages.mirage-channel: init at 4.0.1 2020-11-03 13:41:21 +01:00
Vincent Laporte 546ef7afd7 ocamlPackages.lacaml: 11.0.6 → 11.0.8 2020-11-01 17:22:43 +01:00
Vincent Laporte 15812e1136 ocamlPackages.gapi_ocaml: 0.3.19 → 0.4.1 2020-11-01 17:18:02 +01:00
Vincent Laporte 86c6683e62 ocamlPackages.google-drive-ocamlfuse: disable for OCaml < 4.06 2020-11-01 17:18:02 +01:00
Vincent Laporte 99ebf5ba5b ocamlPackages.checkseum: 0.1.1 → 0.2.1 2020-11-01 17:17:02 +01:00
Vincent Laporte 371dce3024 ocamlPackages.decompress: use Dune 2 2020-11-01 17:17:02 +01:00
Vincent Laporte 73c60d64a2 ocamlPackages.imagelib: use Dune 2 2020-11-01 17:17:02 +01:00
Vincent Laporte 49bdf0dace ocamlPackages.mirage-profile: init at 0.9.1 2020-11-01 17:16:29 +01:00
Vincent Laporte 39dbc77b99 ocamlPackages.hex: 1.3.0 → 1.4.0 2020-10-31 20:04:15 +01:00
Vincent Laporte 6f8621dea6 ocamlPackages.fiat-p256: use Dune 2 2020-10-31 20:04:15 +01:00
Vincent Laporte 8cab21b48b Revert "coq: propagate and install ocaml and findlib" 
This reverts commit 5d0e2dedd5.
 2020-10-31 09:08:06 +01:00
Vincent Laporte 5b8a0f0978 ocamlPackages.base64: 3.2.0 → 3.4.0 2020-10-30 20:30:56 +01:00
Vincent Laporte b709b7ac3d ocamlPackages.biocaml: use Dune 2 2020-10-30 20:30:56 +01:00
Vincent Laporte fb1c52641f ocamlPackages.jwto: use Dune 2 2020-10-30 20:30:56 +01:00
Vincent Laporte 8b1ceeb896 ocamlPackages.cohttp: use Dune 2 2020-10-30 20:30:56 +01:00
Vincent Laporte 4afd690197 ocamlPackages.webmachine: use Dune 2 2020-10-30 20:30:56 +01:00
Vincent Laporte 936ef7525d ocamlPackages.bistro: use Dune 2 2020-10-30 20:30:56 +01:00
Vincent Laporte bb38f0570d ocamlPackages.curly: unstable-2019-11-14 → 0.2.0 2020-10-30 14:36:21 +01:00
Vincent Laporte 557094a10c ocamlPackages.ocp-build: 1.99.19-beta → 1.99.21-beta 2020-10-30 11:39:15 +01:00
Vincent Laporte 7f8f1fc182 ocamlPackages.re: use released source rather than a git snapshot 
This fixes the version information in the META file
 2020-10-30 11:39:15 +01:00
Vincent Laporte 2ccfc2962e opa: build with OCaml 4.03 2020-10-29 06:35:15 +01:00
Vincent Laporte ef45e1161e ocamlPackages.ezjsonm: 0.6.0 → 1.2.0 2020-10-28 06:28:44 +01:00
Vincent Laporte 47183f25a0 ocamlPackages.mirage-block: init at 2.0.1 2020-10-27 22:00:51 +01:00
Vincent Laporte a2b7bad6c8 ocamlPackages.google-drive-ocamlfuse: 0.7.21 → 0.7.22 2020-10-26 06:09:43 +01:00
Vincent Laporte b5f396e43a ocamlPackages.mirage-net: init at 3.0.1 2020-10-25 16:02:34 +01:00
Vincent Laporte aa7977af2c ocamlPackages.mirage-bootvar-unix: init at 0.1.0 2020-10-25 11:09:43 +01:00
Vincent Laporte 8b2e5dcf27 ocamlPackages.parse-argv: init at 0.2.0 2020-10-25 11:09:43 +01:00
Vincent Laporte 7be0ab8249 ocamlPackages.mirage-fs: init at 3.0.1 2020-10-24 12:25:02 +02:00
Vincent Laporte 8f0accd00f ocamlPackages.mirage-kv: init at 3.0.1 2020-10-24 12:25:02 +02:00
Vincent Laporte 2cb651ad14 cryptoverif: 2.01pl1 → 2.03pl1 2020-10-23 10:20:09 +02:00
Vincent Laporte 283f53073b ocamlPackages.yaml: 2.0.1 → 2.1.0 2020-10-23 08:33:52 +02:00
Vincent Laporte ec3aa4c109 ocamlPackages.pgocaml: 4.0 → 4.2.2 2020-10-22 08:17:38 +02:00
Vincent Laporte 1e985c9e29 ocamlPackages.ocsigen-start: remove unused parameter 2020-10-22 08:17:38 +02:00
Vincent Laporte 4b3e97daa4 ocamlPackages.safepass: 2.0 → 3.0 2020-10-21 22:52:46 +02:00
Vincent Laporte 37eb705a65 ocamlPackages.opium_kernel: 0.17.1 → 0.18.0 2020-10-20 21:50:42 +02:00
Vincent Laporte 466194482c ocamlPackages.ppx_type_conv: remove at 113.33.03 2020-10-20 09:39:30 +02:00
Vincent Laporte 1f65cf4bde ocamlPackages.ppx_fail: remove at 113.33.03 2020-10-20 09:39:30 +02:00
Vincent Laporte 649059d42b ocamlPackages.ppx_driver: remove at 113.33.03 2020-10-20 09:39:30 +02:00
Vincent Laporte 07ad2970a5 ocamlPackages.ppx_core: remove at 113.33.03 2020-10-20 09:39:30 +02:00
Vincent Laporte 92d4ced442 ocamlPackages.ppx_sqlexpr: use ppxlib instead of the deprecated ppx_core 2020-10-19 14:25:57 +02:00
Vincent Laporte d149b27d41 ocamlformat: refactor 2020-10-18 09:51:18 +02:00
Vincent Laporte 6742cc7660 ocamlPackages.camlimages: remove at 4.1.2 2020-10-16 12:33:38 +02:00
Vincent Laporte 0385e6094f ocamlPackages.camlimages: 5.0.1 → 5.0.3 2020-10-16 12:33:38 +02:00
Vincent Laporte 1d3b373443 camlPackages.io-page: remove unused parameter 2020-10-16 12:33:38 +02:00
Vincent Laporte bbd0e25d64 ocamlPackages.secp256k1: 0.4.0 → 0.4.1 2020-10-15 12:30:58 +02:00
Vincent Laporte c0ab50b741 orpie: 1.5.2 → 1.6.1 2020-10-14 07:33:04 +02:00
Vincent Laporte b3910a583c ocamlPackages.gsl: init at 1.24.3 2020-10-14 07:33:04 +02:00
Vincent Laporte 8b92269f53 kst: remove broken 2020-10-13 07:55:22 +02:00
Vincent Laporte 423dd60f07 coqPackages.paco: 4.0.0 → 4.0.2 2020-10-12 09:41:45 +02:00
Vincent Laporte c665e4d12e ocamlPackages.jingoo: 1.3.4 → 1.4.1 2020-10-11 11:40:44 +02:00
Vincent Laporte ddb2c7779e coqPackages.coq-ext-lib: clean dependencies 2020-10-09 16:32:48 +02:00
Vincent Laporte 13126ce0a0 coqPackages.dpdgraph: do not depend on camlp5 for recent versions of Coq 2020-10-09 16:32:48 +02:00
Vincent Laporte 488d73f045 coqPackages.bignums: do not depend on camlp5 for recent versions of Coq 2020-10-09 16:32:48 +02:00
Vincent Laporte afa12b1128 ocamlPackages.bap: 2.0.0 → 2.1.0 2020-10-08 10:31:19 +02:00
Vincent Laporte e7ebd6be80 ocamlPackages.earley: 2.0.0 → 3.0.0 2020-10-06 22:34:54 +02:00
Vincent Laporte d5f1dce6c8 coqPackages.VST: init at 2.6 2020-10-05 16:39:26 +02:00
Vincent Laporte 9a913b5125 compcert: build with Coq 8.11 
And fix installation of development files
(use upstream Makefile rules instead of ad-hoc commands).
 2020-10-05 16:39:26 +02:00
Vincent Laporte 215b9129be ocamlPackages.ocaml-version: 2.3.0 → 3.0.0 2020-09-30 23:24:44 +02:00
Vincent Laporte c341289ee5 ocamlPackages.containers-data: drop spurious dependencies 2020-09-30 23:24:44 +02:00
Vincent Laporte 279b831d1b ocamlPackages.iter: disable tests for OCaml < 4.07 2020-09-30 23:24:44 +02:00
Vincent Laporte cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Vincent Laporte 22b076e1c3 ikos: 2.1 → 3.0 2020-09-30 07:20:38 +02:00
Vincent Laporte 61cf0ddf29 ocamlPackages.topkg: 1.0.0 → 1.0.3 2020-09-27 11:33:31 +02:00
Vincent Laporte 40d389028c ocamlPackages.fpath: 0.7.2 → 0.7.3 2020-09-26 15:49:55 +02:00
Vincent Laporte 8409bdf80a ocamlPackages.qtest: 2.7 → 2.11 2020-09-24 07:27:41 +02:00
Vincent Laporte c65790f4dc ocamlPackages.irmin_1: remove at 1.4.0 2020-09-23 21:36:40 +02:00
Vincent Laporte 64b68b30e9 why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
Vincent Laporte a1f8e0b4a1 coqPackages.metalib: 20170713 → 20200527 2020-09-22 21:53:29 +02:00
Vincent Laporte a775c939d4 ocamlPackages.zed: 2.0.3 → 3.1.0 2020-09-22 18:41:01 +02:00
Vincent Laporte 06098c76b9 bigloo: 4.1a-2 → 4.3h; hop: 2.5.1 → 3.3.0 2020-09-21 23:24:54 -07:00
Vincent Laporte 943fa12e6a hop: fix build 
The configure process tries to escape the sandbox by writing into /tmp
 2020-09-21 23:24:54 -07:00
Vincent Laporte c06b0edde2 ocamlPackages.apron: 0.9.12 → 0.9.13 2020-09-21 08:05:23 +02:00
Vincent Laporte 10fef19f4b ocamlPackages.qcheck: 0.7 → 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte 491e809867 ocamlPackages.qcheck-alcotest: init at 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte 79a0130dbd ocamlPackages.qcheck-ounit: init at 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte 8d27394e25 ocamlPackages.qcheck-core: init at 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte ffc3f8227b saga: use proj 6 2020-09-15 21:47:28 +02:00
Vincent Laporte cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Vincent Laporte e2dffb60a5 ocamlPackages.batteries: 3.0.0 → 3.1.0 2020-09-13 11:59:06 +02:00
Vincent Laporte 5f83bf3012 ocamlPackages.ptmap: 2.0.4 → 2.0.5 2020-09-12 21:32:02 +02:00
Vincent Laporte b2f814144e ocamlPackages.ptset: init at 1.0.1 2020-09-12 21:30:31 +02:00
Vincent Laporte d3e701f5f7 reason: 3.6.0 → 3.6.2 2020-09-12 21:30:12 +02:00
Vincent Laporte 5f3be6b669 coqPackages.Verdi: enable for Coq 8.12 2020-09-10 22:10:02 +02:00
Vincent Laporte 7f797b9521 coqPackages.paco: enable for Coq 8.12 2020-09-10 22:10:02 +02:00
Vincent Laporte 6e08d23707 coqPackages.paramcoq: init at 1.1.2 for Coq 8.12 2020-09-09 22:26:06 +02:00
Vincent Laporte 67c991114f aegisub: fix build with make 4.3 2020-09-09 13:00:49 +02:00
Vincent Laporte 607b0ae7ae coqPackages.coqprime: init at 8.12 for Coq 8.12 2020-09-09 06:32:25 +02:00
Vincent Laporte bd954783b2 liquidsoap: 1.3.4 → 1.4.2 2020-09-07 15:18:31 +02:00
Vincent Laporte d7fa5b6aad liferea: 1.12.6 → 1.12.9 2020-09-07 13:29:58 +02:00
Vincent Laporte 2a82f71bed proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
Vincent Laporte d4f6c94d34 ocamlPackages.labltk: init at 8.06.9 for OCaml 4.11 2020-09-06 19:09:37 +02:00
Vincent Laporte 82eb3cd4db ocamlPackages.srt: init at 0.1.1 2020-09-06 07:44:21 +02:00
Vincent Laporte 5664601fa2 ocamlPackages.fdkaac: init at 0.3.2 2020-09-05 10:44:12 +02:00
Vincent Laporte 53bce4da36 ocamlPackages.piqi-ocaml: 0.7.5 → 0.7.7 2020-09-03 15:27:29 +02:00
Vincent Laporte 910ac8645f ocamlPackages.ocp-index: 1.2 → 1.2.1 2020-09-02 10:30:34 +02:00
Vincent Laporte 745a86726a ocamlPackages.re: disable tests with OCaml < 4.04 2020-09-02 10:30:34 +02:00
Vincent Laporte e92a556468 satysfi: 0.0.4 → 0.0.5 2020-09-01 08:54:13 +02:00
Vincent Laporte 60d0746a84 coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12 2020-09-01 08:53:19 +02:00
Vincent Laporte 6a01a4e69a ocamlPackages.posix-types: init at 2.0.0 2020-08-31 07:07:08 +02:00
Vincent Laporte 83122f9657 ocamlPackages.posix-socket: init at 2.0.0 2020-08-31 07:07:08 +02:00