public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
295,533 Commits 1 Branch 0 Tags
nsd-state-dir
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte b0274abf85 tamarin-prover: 1.6.0 → 1.6.1 
(cherry picked from commit 05838a1632cab4f0371356666ed57f0be01575a9)
 2021-10-22 08:13:56 +02:00
Vincent Laporte 95510a94a5 leo2: 1.6.2 → 1.7.0 
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)

(cherry picked from commit cafe9f88fc388a18e5437ffe01c359ab9467f21f)
 2021-10-14 11:05:40 +00:00
Vincent Laporte 564cb4d81d alt-ergo: 2.4.0 → 2.4.1 
(cherry picked from commit 0abc796ce281eeb737039c12613734d33611658b)
 2021-10-13 10:50:22 +02:00
Vincent Laporte ae42a59565 qarte: 4.6.0 → 4.12.0 
(cherry picked from commit 5af58916df9f9192499263ec2c798a3e1a9218c1)
 2021-08-04 09:42:36 +02:00
Vincent Laporte 9420363b95 ocamlPackages.lwt: 5.4.0 → 5.4.1 
(cherry picked from commit 13e6c217524f53e44e65a55d58461b12fadc2043)
 2021-06-16 17:31:36 +02:00
Vincent Laporte 162c4e4e16 ocamlPackages.ppx_import: disable checks 
(cherry picked from commit ecf820740a0b576361dac53778a4e6e2e6338287)
 2021-06-14 03:52:03 +02:00
Vincent Laporte 81c84a9194 getdata: add security patch from Debian 
(cherry picked from commit 14bb4b8f9aed4b1e04c0edab0851c31144ccd7e3)
 2021-05-30 02:08:03 +00:00
Vincent Laporte 7d9b6264b4 ocamlPackages.containers: 3.0.1 → 3.4 2021-05-18 18:15:55 +02:00
Vincent Laporte 5f00e14842 coq: default to version 8.13 2021-05-10 18:57:58 +02:00
Vincent Laporte bcbf6aafbd coqPackages.metalib: enable for Coq 8.13 2021-05-10 18:57:58 +02:00
Vincent Laporte 67dfd53485 coqPackages.coqprime: enable for Coq 8.13 2021-05-10 18:57:58 +02:00
Vincent Laporte 4fb15bc739 coqPackages.VST: 2.6 → 2.7.1 2021-05-07 08:35:13 +02:00
Vincent Laporte b333692c87 compcert: add support for Coq 8.13 2021-05-07 08:35:13 +02:00
Vincent Laporte 86878f63f9 coqPackages.CoLoR: 1.7.0 → 1.8.1 2021-05-07 01:06:52 +02:00
Vincent Laporte cc6e48c8ba coqPackages.coqeal: 1.0.4 → 1.0.5 2021-04-29 08:24:35 +02:00
Vincent Laporte 1437eee5bb coqPackages.paramcoq: enable for Coq 8.13 2021-04-28 09:18:42 +02:00
Vincent Laporte 1a47b8fe6f OCaml: default to version 4.12 2021-04-27 08:42:50 +02:00
Vincent Laporte 8984dee07e ocamlPackages.accessor_core: mark as broken with OCaml ≥ 4.12 2021-04-27 08:42:50 +02:00
Vincent Laporte 1a7f327cb6 google-drive-ocamlfuse: build with OCaml 4.10 2021-04-27 08:42:50 +02:00
Vincent Laporte 8d4b6207e9 dune_1: build with OCaml 4.10 2021-04-27 08:42:50 +02:00
Vincent Laporte ab51ade9a3 haxe: build versions < 4.2 with OCaml 4.10 2021-04-27 08:42:50 +02:00
Vincent Laporte 44339cc0b0 ocamlPackages.ocp-build: fix compilation with OCaml 4.12 2021-04-27 08:42:50 +02:00
Vincent Laporte 9ffb287d75 ocamlformat: build versions < 0.17 with OCaml 4.10 2021-04-27 08:42:50 +02:00
Vincent Laporte 731288ed01 libguestfs: fix build with OCaml 4.12 2021-04-27 08:42:50 +02:00
Vincent Laporte 674de725cb coqPackages.coqhammer: 1.3 → 1.3.1 2021-04-26 16:28:32 +02:00
Vincent Laporte 35dfa0e927 alt-ergo: 2.3.3 → 2.4.0 2021-04-26 08:32:18 +02:00
Vincent Laporte d4f48c8547 coqPackages.tlc: 20200328 → 20210316 2021-04-25 11:51:38 +02:00
Vincent Laporte 276cb2ad23 coqPackages_8_13.QuickChick: init at 1.5.0 2021-04-24 07:43:54 +02:00
Vincent Laporte 1ae99e891e beluga: build with default version of OCaml 2021-04-22 21:07:45 +02:00
Vincent Laporte 1f1a77bdb7 ocamlPackages.labltk: fix ocamlbrowser by wrapping 
Also remove legacy versions
 2021-04-21 13:56:54 +02:00
Vincent Laporte d2caa11ce0 ocamlPackages.earlybird: 0.1.5 → 1.1.0 2021-04-19 22:12:38 +02:00
Vincent Laporte 95341f082c ocamlPackages.path_glob: init at 0.2 2021-04-19 22:12:38 +02:00
Vincent Laporte cdff996ed3 ocamlPackages.dap: init at 1.0.6 2021-04-19 22:12:38 +02:00
Vincent Laporte 8db8975228 ocamlPackages.ezxmlm: 1.0.2 → 1.1.0 2021-04-17 13:17:07 +02:00
Vincent Laporte ab16ad8764 coq_8_13: 8.13.1 → 8.13.2 2021-04-16 22:32:31 +02:00
Vincent Laporte 982bdad584 ocamlPackages.cairo2: use Dune 2 2021-04-16 11:07:36 +02:00
Vincent Laporte e3aa8c650b ocamlPackages.lablgtk3: use Dune 2 2021-04-16 11:07:36 +02:00
Vincent Laporte 30b6835d6d scheherazade-new: 3.000 → 3.100 2021-04-15 22:09:05 +02:00
Vincent Laporte fd75d3b722 ocamlPackages.safepass: 3.0 → 3.1 2021-04-15 07:04:35 +02:00
Vincent Laporte 1c6935fbe4 ocamlPackages.postgresql: 4.6.3 → 5.0.0 2021-04-14 22:39:03 +02:00
Vincent Laporte 7db1853f5c ocamlPackages.rpclib: 8.0.0 → 8.1.0 2021-04-12 21:37:58 +02:00
Vincent Laporte c87714a040 coqPackages.stdpp: 1.4.0 → 1.5.0 
coqPackages.iris: 3.3.0 → 3.4.0
 2021-04-12 13:58:30 +02:00
Vincent Laporte f01a04abd4 ocamlPackages.jsonrpc: 1.4.1 → 1.5.0 2021-04-12 08:22:24 +02:00
Vincent Laporte b729d4080a ocamlPackages.ocp-indent: use Dune 2 2021-04-11 14:32:14 +02:00
Vincent Laporte 0062afc050 ocamlPackages.printbox: 0.4 → 0.5 2021-04-11 10:10:38 +02:00
Vincent Laporte cf42b2eb0f ocamlPackages.sqlite3: use Dune 2 2021-04-07 21:27:13 +02:00
Vincent Laporte cc6d25b0d3 ocamlPackages.merlin-extend: use Dune 2 2021-04-07 20:34:26 +02:00
Vincent Laporte e66af6a67e reason: 3.6.2 → 3.7.0 2021-04-07 20:34:26 +02:00
Vincent Laporte 55ddc94d92 ocamlPackages.ocamlnet: 4.1.8 → 4.1.9 2021-04-07 20:32:28 +02:00
Vincent Laporte c86f67bfb9 ocamlPackages.minisat: 0.2 → 0.3 2021-04-06 08:43:38 +02:00
Vincent Laporte 026b9db487 ocamlPackages.opti: use Dune 2 2021-04-05 17:19:44 +02:00
Vincent Laporte 938741a71b ocamlPackages.parmap: use Dune 2 2021-04-05 16:50:15 +02:00
Vincent Laporte 3eb054abd8 ocamlPackages.gnuplot: use Dune 2 2021-04-05 15:14:40 +02:00
Vincent Laporte 170bad5b0a ocamlPackages.gsl: use Dune 2 2021-04-02 14:12:12 +02:00
Vincent Laporte 57c7d7c50a orpie: use Dune 2 2021-04-02 14:12:01 +02:00
Vincent Laporte 9ac5c7df17 ocamlPackages.gettext-camomile: init at 0.4.2 2021-04-02 09:13:44 +02:00
Vincent Laporte ef0e64ec60 ocamlPackages.sosa: remove spurious dependency on nonstd 2021-04-02 09:01:22 +02:00
Vincent Laporte 94837b564d ocamlPackages.crowbar: use Dune 2 2021-04-01 09:37:32 +02:00
Vincent Laporte 595363a38f ocamlPackages.dtoa: use Dune 2 2021-04-01 09:08:13 +02:00
Vincent Laporte dc68bad367 ocamlPackages.cpu: use Dune 2 2021-04-01 08:49:17 +02:00
Vincent Laporte 6373ef78c6 ocamlPackages.parany: use Dune 2 2021-04-01 08:46:19 +02:00
Vincent Laporte 086ae4a06d ocamlPackages.bigstring: 0.2 → 0.3 2021-04-01 08:33:08 +02:00
Vincent Laporte d99c24d00a ocamlPackages.hidapi: use Dune 2 2021-04-01 08:33:08 +02:00
Vincent Laporte 1b21d00de8 ocamlPackages.spacetime_lib: use Dune 2 2021-03-30 08:32:05 +02:00
Vincent Laporte 25a75128d3 ocamlPackages.spelll: use Dune 2 2021-03-29 22:05:45 +02:00
Vincent Laporte 768bbabf0c ocamlPackages.cpuid: use Dune 2 2021-03-28 22:29:40 +02:00
Vincent Laporte 43846a5834 ocamlPackages.wtf8: use Dune 2 2021-03-28 22:05:32 +02:00
Vincent Laporte cf86741d99 ocamlPackages.ocaml-version: use Dune 2 2021-03-28 17:47:05 +02:00
Vincent Laporte 92a1b57bb1 ocamlPackages.ppxlib: default to 0.22.0 
ocamlPackages.base_quickcheck 0.14.0 → 0.14.1

ocamlPackages.ppx_custom_printf: 0.14.0 → 0.14.1

ocamlPackages.ppx_expect: 0.14.0 → 0.14.1

ocamlPackages.ppx_optcomp: 0.14.0 → 0.14.1

ocamlPackages.ppx_sexp_conv: 0.14.1 → 0.14.3

ocamlPackages.ppx_sexp_message: 0.14.1 → 0.14.2

ocamlPackages.ppx_typerep_conv: 0.14.1 → 0.14.2

ocamlPackages.visitors: 20210127 → 20210316

ocamlPackages.pgocaml: 4.2.2 → 4.2.2-dev-20210111
 2021-03-25 17:36:51 +01:00
Vincent Laporte 53a56c9887 ocamlPackages.ppxlib: disable versions 0.15 and 0.18 for OCaml ≥ 4.12 2021-03-25 17:36:51 +01:00
Vincent Laporte a1b2b1225c ocamlPackages.npy: unstable-2019-04-02 → 0.0.9 2021-03-22 10:01:13 +01:00
Vincent Laporte 14edfb4cd7 ocamlPackages.psq: use Dune 2 
And enable tests
 2021-03-19 17:26:04 +01:00
Vincent Laporte b68839485d ocamlPackages.bitstring: 4.0.1 → 4.1.0 2021-03-19 11:47:03 +01:00
Vincent Laporte 1bb03d47cd ocamlPackages.ppx_import: 1.7.1 → 1.8.0 2021-03-19 08:17:03 +01:00
Vincent Laporte 4307699fdb ocamlPackages.lru: use Dune 2 
And enable tests
 2021-03-18 05:56:36 +01:00
Vincent Laporte 4406123147 flow: 0.145.0 → 0.146.0 2021-03-18 05:11:42 +01:00
Vincent Laporte d0cb67f669 ocamlPackages.core: 0.14.0 → 0.14.1 2021-03-16 08:18:56 +01:00
Vincent Laporte 2a56da2235 ocamlPackages.torch: 0.11 → 0.12 2021-03-15 15:16:12 +01:00
Vincent Laporte b20bc9eeb6 ocamlPackages.zarith: 1.11 → 1.12 2021-03-12 08:51:50 +01:00
Vincent Laporte 22d9482360 opa: build with OCaml 4.04 2021-03-12 08:51:50 +01:00
Vincent Laporte 857ac90e8c ocamlPackages.core_kernel: 0.14.0 → 0.14.1 2021-03-09 21:09:58 +01:00
Vincent Laporte 5a34902915 ocamlPackages.batteries: 3.2.0 → 3.3.0 2021-03-09 08:27:37 +01:00
Vincent Laporte a104d2b18c ocamlPackages.dune_1: disable for OCaml ≥ 4.12 2021-03-07 12:07:14 +01:00
Vincent Laporte 60785fe4db ocamlPackages.dune: rename into dune_1 2021-03-07 12:07:14 +01:00
Vincent Laporte 5dc759afec ocamlPackages.rope: use Dune 2 2021-03-07 12:07:14 +01:00
Vincent Laporte 0e7add8190 ocamlPackages.biniou: use Dune 2 2021-03-04 22:00:10 +01:00
Vincent Laporte aae6ddcb70 ocamlPackages.bigarray-compat: use Dune 2 2021-03-04 09:20:14 +01:00
Vincent Laporte 1ec43e04cc ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.1 → 4.11.2 2021-03-03 18:05:12 +01:00
Vincent Laporte 6f204e9c42 ocamlPackages.integers: use Dune 2 2021-03-03 10:10:20 +01:00
Vincent Laporte 8efa14a5cb ocamlPackages.digestif: 0.9.0 → 1.0.0 2021-03-03 08:14:59 +01:00
Vincent Laporte cc8f96f8c5 ocamlPackages.mirage-clock: use Dune 2 2021-03-02 20:50:55 +01:00
Vincent Laporte b0ed0b8a62 ocamlPackages.base: 0.14.0 → 0.14.1 2021-03-02 12:02:12 -05:00
Vincent Laporte cd43a53947 coq_8_13: 8.13.0 → 8.13.1 2021-03-02 09:04:40 +01:00
Vincent Laporte 25947abcf1 ocamlPackages.ppx_derivers: use Dune 2 2021-03-01 10:07:44 +01:00
Vincent Laporte d0328678e9 ocamlPackages.ocaml-migrate-parsetree-2-1: use Dune 2 2021-02-28 11:28:04 +01:00
Vincent Laporte caa23be256 ocamlPackages.camomile: use Dune 2 2021-02-27 21:19:06 +01:00
Vincent Laporte 10652db906 ocamlPackages.mmap: use Dune 2 2021-02-27 17:59:54 +01:00
Vincent Laporte 1c26497371 ocamlPackages.result: use Dune 2 2021-02-27 13:31:01 +01:00
Vincent Laporte 02b4f95f78 ocamlPackages.stdlib-shims: 0.1.0 → 0.3.0 2021-02-26 11:40:38 +01:00
Vincent Laporte 554827b5a7 ocamlPackages.bap: 2.1.0 → 2.2.0 
libbap: 2019-11-15 → 2020-11-25
 2021-02-26 07:09:22 +01:00