Commit graph

1583 commits

Author SHA1 Message Date
Jan Tojnar a441eaa7b1
Merge branch 'staging-next' into staging 2019-09-12 22:49:43 +02:00
Vincent Laporte 748046d594 ocamlPackages.janeStreet: init at 0.12 (for OCaml ≥ 4.07)
Also add a few legacy packages at version 0.11 for OCaml ≥ 4.07: configurator,
ppx_core, ppx_driver, ppx_type_conv

ocamlPackages.bap: disable for OCaml ≥ 4.07

ocamlPackages.bistro: 0.4.0 -> 0.5.0
2019-09-10 14:05:26 +00:00
Vincent Laporte 764724a631 ocamlPackages.nocrypto: add explicit dependency to ppx_deriving 2019-09-10 14:05:26 +00:00
Vasiliy Yorkin 300464ec67 ocamlPackages.rpclib: init at 5.9.0 2019-09-10 06:40:20 +00:00
Izorkin 329a88efa7 treewide: replace mysql.connector-c to libmysqlclient 2019-09-09 15:55:34 +03:00
volth 7b8fb5c06c treewide: remove redundant quotes 2019-09-08 23:38:31 +00:00
Frederik Rietdijk 5f4734b1dd Merge remote-tracking branch 'upstream/gcc-8' into staging-next
Earlier the gcc8 branch was merged instead of the gcc-8 branch (note the dash)...
2019-09-08 20:44:26 +02:00
Frederik Rietdijk 66bc7fc1b3 Merge master into staging-next 2019-09-06 22:46:05 +02:00
Vincent Laporte 22c50545f2 ocamlPackages.ocaml_lwt: 4.1.0 -> 4.2.1
Ensures compatibility with OCaml 4.08
2019-09-06 16:03:33 +00:00
Jan Tojnar cdf426488b
Merge branch 'master' into staging-next
Fixed trivial conflicts caused by removing rec.
2019-09-06 03:20:09 +02:00
Jan Tojnar 72e7d569a7
tree-wide: s/GTK+/GTK/g
GTK was renamed.
2019-09-06 02:54:53 +02:00
Vladimír Čunát 4aad2947f8
Merge branch 'master' into staging-next 2019-09-04 11:00:56 +02:00
Franz Pletz de85797565
Merge remote-tracking branch 'origin/master' into gcc-8 2019-09-03 22:15:07 +02:00
Franz Pletz bd85a832c1
bap: build with llvm_8 2019-09-03 21:26:27 +02:00
Franz Pletz e7b6d8790f
ocamlPackages.llvm: build with llvm_8 2019-09-03 21:25:23 +02:00
Vincent Laporte ff392e8190 ocamlPackages.ocplib-json-typed: 0.5 -> 0.7.1 2019-09-03 05:31:11 +00:00
Vladimír Čunát f21211ebfe
Merge branch 'master' into staging 2019-09-02 23:25:24 +02:00
Vincent Laporte 8d70f49cbd ocamlPackages.lablgtk: 2.18.6 -> 2.18.8
Ensures compatibility with OCaml 4.08.
2019-09-02 16:19:24 +00:00
Frederik Rietdijk ad1d58c622 Merge staging-next into staging 2019-08-31 10:04:20 +02:00
Frederik Rietdijk fc74ba8291 Merge master into staging-next 2019-08-31 09:50:38 +02:00
Vincent Laporte 81760f3235 ocamlPackages.cstruct: 3.1.1 -> 4.0.0
ocamlPackages.cstruct-sexp: init at 4.0.0

ocamlPackages.x509: 0.6.1 -> 0.7.1

ocamlPackages.tls: 0.9.0 -> 0.10.4

jackline: 2018-05-11 -> 2019-08-08
2019-08-31 06:55:26 +00:00
Vincent Laporte 10ffd51a96 ocamlPackages.bigarray-compat: init at 1.0.0 2019-08-31 06:55:26 +00:00
Vincent Laporte e9edc7537a ocamlPackages.gmap: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte d33df05f50 ocamlPackages.domain-name: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte 3f63225309 ocamlPackages.batteries: 2.9.0 -> 2.10.0
Ensures compatibility with OCaml 4.08.
2019-08-29 05:42:43 +00:00
volth 08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Vincent Laporte f7387ad383 ocamlPackages.utop: 2.3.0 -> 2.4.1
ocamlPackages.zed: 1.6 -> 2.0.3

ocamlPackages.lambdaTerm: 1.13 -> 2.0.2
2019-08-28 06:36:57 +00:00
Vincent Laporte a86fe43558 ocamlPackages.lambdaTerm: remove at 1.6 2019-08-28 06:36:57 +00:00
Frederik Rietdijk 5061fe0c2c Merge staging-next into staging 2019-08-28 08:26:42 +02:00
Frederik Rietdijk 98640fd482 Merge master into staging-next 2019-08-27 16:36:47 +02:00
volth 35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
Vincent Laporte 46b630efa9 ocamlPackages.mtime: 1.1.0 -> 1.2.0 2019-08-26 19:20:03 +00:00
Vladimír Čunát 985d1ac425
Merge branch 'master' into staging-next
There were several more conflicts from name -> pname+version;
all auto-solved by kdiff3, hopefully OK.

Hydra nixpkgs: ?compare=1538611
2019-08-25 14:57:11 +02:00
Mario Rodas 02388c07bd
ocamlPackages.ocurl: disable for ocaml<4.02 2019-08-25 03:30:00 -05:00
Mario Rodas 6d78972db9
Merge pull request #67010 from r-ryantm/auto-update/ocurl
ocamlPackages.ocurl: 0.8.1 -> 0.8.2
2019-08-24 14:06:23 -05:00
Mario Rodas 2ff3586200
Merge pull request #67007 from r-ryantm/auto-update/ocaml4.06.1-lwt_log
ocamlPackages.lwt_log: 1.1.0 -> 1.1.1
2019-08-24 11:57:19 -05:00
Vladimír Čunát 2e6bf42a22
Merge branch 'master' into staging-next
There ver very many conflicts, basically all due to
name -> pname+version.  Fortunately, almost everything was auto-resolved
by kdiff3, and for now I just fixed up a couple evaluation problems,
as verified by the tarball job.  There might be some fallback to these
conflicts, but I believe it should be minimal.

Hydra nixpkgs: ?compare=1538299
2019-08-24 08:55:37 +02:00
Samuel Leathers 4aa6cc3de1
Merge pull request #67361 from vbgl/ocaml-ppx_tools_versioned-5.2.3
ocamlPackages.ppx_tools_versioned: 5.1 -> 5.2.3
2019-08-24 00:58:38 -04:00
Samuel Leathers 93c70cf07e
Merge pull request #67322 from vbgl/ocaml-otr-0.3.6
ocamlPackages.otr: 0.3.4 -> 0.3.6
2019-08-24 00:08:59 -04:00
Samuel Leathers 765a71f150
Merge pull request #67324 from vbgl/ocaml-vg-0.9.3
ocamlPackages.vg: 0.9.1 -> 0.9.3
2019-08-23 23:57:55 -04:00
Vincent Laporte c21c1e8f3f
ocamlPackages.ppx_tools_versioned: 5.1 -> 5.2.3
Ensures compatibility with OCaml 4.08
2019-08-23 17:51:53 +00:00
Vincent Laporte 7cca325b07
ocamlPackages.logs: disable for OCaml < 4.03 2019-08-23 17:51:41 +00:00
Vincent Laporte c02aa1b575 ocamlPackages.sedlex: 1.99.4 -> 1.99.5 2019-08-23 15:48:47 +00:00
Vincent Laporte 4b1e33a312
ocamlPackages.vg: 0.9.1 -> 0.9.3 2019-08-23 05:56:38 +00:00
Vincent Laporte 162266b972
ocamlPackages.otr: 0.3.4 -> 0.3.6 2019-08-23 05:27:34 +00:00
Vincent Laporte e1d3ea6836
ocamlPackages.cohttp: 2.0.0 -> 2.1.3 2019-08-21 21:12:52 +00:00
Vincent Laporte 136f739184
ocamlPackages.uri-sexp: init at 3.0.0 2019-08-21 21:12:37 +00:00
Vincent Laporte 59cf0772c2 ocamlPackages.charInfo_width: init at 1.1.0 2019-08-21 05:07:46 +00:00
Marek Mahut 23e67a6a0c
Merge pull request #67013 from r-ryantm/auto-update/ocaml4.06.1-ppxlib
ocamlPackages.ppxlib: 0.6.0 -> 0.8.1
2019-08-20 21:03:11 +02:00
Marek Mahut 13df6fdee7
Merge pull request #67015 from r-ryantm/auto-update/uuidm
ocamlPackages.uuidm: 0.9.6 -> 0.9.7
2019-08-20 21:01:30 +02:00
Marek Mahut dd2034d2a3
Merge pull request #67008 from r-ryantm/auto-update/ocaml4.06.1-uri
ocamlPackages.uri: 2.2.0 -> 3.0.0
2019-08-20 20:14:43 +02:00
Sarah Brofeldt a14b47b2ad
Merge pull request #67021 from vbgl/ocaml-javalib-3.1.1
ocamlPackages.javalib: 3.0 -> 3.1.1
2019-08-20 14:22:10 +02:00
Vincent Laporte 4c571a1e76 ocamlPackages.ppx_deriving: 4.2.1 -> 4.4 2019-08-20 04:55:45 +00:00
Vincent Laporte 4759568c6b ocamlPackages.ppxfind: do not strip with OCaml 4.04 2019-08-20 04:55:45 +00:00
Vincent Laporte ff6c982e5e ocamlPackages.ppx_tools: init at 5.3 for OCaml 4.08 2019-08-20 04:55:45 +00:00
Vincent Laporte b53f0980fe
ocamlPackages.javalib: 3.0 -> 3.1.1 2019-08-20 04:46:14 +00:00
R. RyanTM f80422fc01 ocamlPackages.uuidm: 0.9.6 -> 0.9.7
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/uuidm/versions
2019-08-19 20:32:53 -07:00
R. RyanTM 63bf4a7f17 ocamlPackages.ppxlib: 0.6.0 -> 0.8.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ppxlib/versions
2019-08-19 20:18:55 -07:00
R. RyanTM fe3ac41368 ocamlPackages.ocurl: 0.8.1 -> 0.8.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocurl/versions
2019-08-19 19:45:34 -07:00
R. RyanTM 485c88a311 ocamlPackages.uri: 2.2.0 -> 3.0.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-uri/versions
2019-08-19 19:10:20 -07:00
R. RyanTM 66cd7aa947 ocamlPackages.lwt_log: 1.1.0 -> 1.1.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-lwt_log/versions
2019-08-19 19:07:38 -07:00
Frederik Rietdijk f65aa21bb2 Merge master into staging-next 2019-08-18 12:53:44 +02:00
Vincent Laporte 7d4c8fb9f7
Merge pull request #66467 from vbgl/ocaml-ocsigen-start-1.8.0
ocsigen-start: 1.5.0 -> 1.8.0; ocsigen-toolkit: 2.0.0 -> 2.2.0
2019-08-18 09:24:39 +00:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
Frederik Rietdijk fe9a3e3e63 Merge staging-next into staging 2019-08-17 09:39:23 +02:00
Vincent Laporte af504e45b3 ocamlPackages.mmap: init at 1.1.0
This project provides a Mmap.map_file function for mapping files in memory.
2019-08-16 06:28:28 +00:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Vincent Laporte 3cc99ee1eb ocamlPackages.zarith: enable for OCaml 4.08 2019-08-15 09:09:28 +00:00
Vincent Laporte 18fa1c335e ocamlPackages.ocaml-migrate-parsetree: 1.2.0 -> 1.4.0 2019-08-11 13:58:43 +00:00
Vincent Laporte 08f438fe50
ocamlPackages.ocsigen-start: 1.5.0 -> 1.8.0 2019-08-11 08:03:00 +00:00
Vincent Laporte 82db668615
ocamlPackages.ocsigen-toolkit: 2.0.0 -> 2.2.0 2019-08-11 08:03:00 +00:00
Vincent Laporte a4d6a3f724 ocamlPackages.pgocaml: 2.3 -> 3.2 2019-08-10 14:19:18 +00:00
Vincent Laporte e31eca3a4c
Merge pull request #66368 from marsam/update-camomile
ocamlPackages.camomile: 1.0.1 -> 1.0.2
2019-08-09 14:14:51 +00:00
Cyril Cohen 52f3c28df2 elpi: 1.4.1 -> 1.6.0, and coq-elpi 2019-08-09 08:47:52 +00:00
Mario Rodas 00fe273cf9
ocamlPackages.camomile: 1.0.1 -> 1.0.2 2019-08-09 03:43:36 -05:00
Marek Mahut 52453006a7
Merge pull request #66009 from r-ryantm/auto-update/ocaml4.06.1-cmdliner
ocamlPackages.cmdliner: 1.0.3 -> 1.0.4
2019-08-08 16:03:23 +02:00
Merlin Göttlinger f6c363f81d
pgsolver: init at 4.1 2019-08-08 07:51:21 +00:00
Merlin Göttlinger 1559a3798a ocaml-sat-solvers: init at 0.4 (#66275) 2019-08-07 16:48:33 +00:00
Merlin Göttlinger e5340bb5ef ocaml-minisat: init at 0.2 2019-08-07 13:45:31 +00:00
Vincent Laporte b1d37354d7
Merge pull request #65715 from mgttlinger/build-oasis-package
OCaml build support: add oasis build system
2019-08-07 08:07:55 +00:00
Merlin Göttlinger b1f0e3ebc5
Suggested edits 2019-08-07 09:50:46 +02:00
Merlin Göttlinger 961b83a99d
Don't use buildOcaml 2019-08-06 17:54:09 +02:00
Merlin Göttlinger 6ef367a5e8
Suggested changes 2019-08-06 06:46:03 +02:00
R. RyanTM f2d8928923 ocamlPackages.cmdliner: 1.0.3 -> 1.0.4
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-cmdliner/versions
2019-08-04 19:42:10 -07:00
Merlin Göttlinger d940b44137
tcslib: init at version v0.3
build for tcslib as contribution as well as usage example for the new buildOasisPackage
2019-08-04 18:16:16 +02:00
Frederik Rietdijk d20a59d2e5 Merge master into staging-next 2019-08-02 23:27:18 +02:00
Vasiliy Yorkin 3aed444d57 ocamlPackages.secp256k1: init at 0.4.0 2019-08-02 16:01:53 +00:00
Sarah Brofeldt 28bf7ab6e6
Merge pull request #65516 from vbgl/ocaml-lambdasoup-0.6.3
ocamlPackages.lambdasoup: init at 0.6.3
2019-08-02 09:48:57 +02:00
Frederik Rietdijk 6f723b9bad Merge master into staging-next 2019-08-02 09:18:37 +02:00
Vincent Laporte 0d70d4a8b8 ocamlPackages.merlin_extend-0.3 -> merlin-extend-0.4 2019-08-02 06:32:51 +00:00
Vincent Laporte bd9a7131a1
ocamlPackages.lambdasoup: init at 0.6.3 2019-08-02 06:31:12 +00:00
Frederik Rietdijk 55e4555b77 Merge master into staging-next 2019-08-01 09:42:54 +02:00
Vincent Laporte ca3f1c20d7 ocamlPackages.toml: init at 5.0.0 2019-07-30 16:18:39 +00:00
worldofpeace b1bc0645ea gdk-pixbuf: rename from gdk_pixbuf 2019-07-22 18:50:57 -04:00
R. RyanTM 6fa00688fb ocamlPackages.visitors: 20180513 -> 20190711
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-visitors/versions
2019-07-19 18:06:50 -07:00
Frederik Rietdijk 74c24385cb Merge master into staging-next 2019-07-09 15:46:00 +02:00
Patrick Mahoney e485b10d3e ocamlPackages.opium: init at 0.17.1 2019-07-07 08:15:39 +00:00
Patrick Mahoney aa7fbe4d2e ocamlPackages.hmap: init at 0.8.1 2019-07-07 08:15:39 +00:00
Vladimír Čunát 0746c4dbb4
Merge branch 'master' into staging-next
There are several thousand rebuilds from master already.
Hydra nixpkgs: ?compare=1528940
2019-07-06 13:44:40 +02:00
Mario Rodas 88c2586958 dune: 1.9.2 -> 1.10.0 (#62256)
* dune: 1.9.2 -> 1.10.0

* ocamlPackages.camomile: use jbuilder executable

* ocamlPackages.sqlexpr: fix build

* ocamlPackages.lwt_camlp4: fix build
2019-07-05 12:28:06 +00:00
Frederik Rietdijk 25a77b7210 Merge staging-next into staging 2019-07-03 08:59:42 +02:00
worldofpeace cab7c6cbd9 treewide: use dontConfigure 2019-07-01 04:23:51 -04:00
Cyril Cohen 7e90540d13 elpi: release 1.4.1 2019-06-27 11:30:08 +00:00
Mario Rodas 238259947b
Merge pull request #63317 from r-ryantm/auto-update/ocaml4.06.1-ppxfind
ocamlPackages.ppxfind: 1.2 -> 1.3
2019-06-20 06:01:20 -05:00
José Romildo Malaquias f0e7c5f569 ocamlPackages.printbox: init at 0.2 2019-06-20 07:29:55 +00:00
José Romildo Malaquias b8495898df ocamlPackages.mdx: init at 1.4.0 2019-06-20 07:29:55 +00:00
Vincent Laporte 99fec0eeb3 ocamlPackages.bistro: init at 0.4.0 2019-06-20 07:29:20 +00:00
R. RyanTM d4dddd9b68 ocamlPackages.ppxfind: 1.2 -> 1.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ppxfind/versions
2019-06-17 04:32:20 -07:00
Vincent Laporte b00a5f5557 ocamlPackages.mlgmpidl: 1.2.8 -> 1.2.10 2019-06-17 06:32:34 +00:00
volth f3282c8d1e treewide: remove unused variables (#63177)
* treewide: remove unused variables

* making ofborg happy
2019-06-16 19:59:05 +00:00
Vincent Laporte 9120dbf180 ocamlPackages.alcotest: 0.8.2 -> 0.8.5 2019-06-04 17:27:15 +02:00
Vincent Laporte 3ca7fc10e8 ocamlPackages.earley: 1.0.2 -> 2.0.0 2019-05-29 08:29:09 +02:00
Silvan Mosberger 2764e7e97a
Merge pull request #61922 from mnacamura/camlpdf
ocamlPackages.{camlpdf,cpdf}: fix build
2019-05-24 15:53:18 +02:00
Ryan Mulligan 33dc8bc5d0
Merge pull request #61861 from r-ryantm/auto-update/ocaml-logs
ocamlPackages.logs: 0.6.2 -> 0.6.3
2019-05-22 21:59:15 -07:00
Mitsuhiro Nakamura acb5655bd6 ocamlPackages.{camlpdf,cpdf}: fix build 2019-05-23 10:11:13 +09:00
R. RyanTM 8b589a1b74 ocamlPackages.ptime: 0.8.4 -> 0.8.5
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ptime/versions
2019-05-22 00:56:35 -07:00
R. RyanTM 0445fb2356 ocamlPackages.logs: 0.6.2 -> 0.6.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml-logs/versions
2019-05-22 00:03:39 -07:00
Renaud 5f0afa48d1
Merge pull request #61081 from vbgl/ocaml-elpi-1.2.0
ocamlPackages.elpi: 1.1.0 -> 1.2.0
2019-05-11 22:55:55 +02:00
Vincent Laporte a625f19358
ocamlPackages.lablgtk3: 3.0.beta5 -> 3.0.beta6 2019-05-10 12:59:19 +00:00
Vincent Laporte 20359e55cd
ocamlPackages.cairo2: 0.6 -> 0.6.1 2019-05-10 12:59:14 +00:00
Renaud 029adb3ad4
Merge pull request #61003 from r-ryantm/auto-update/ocaml4.06.1-ppxlib
ocamlPackages.ppxlib: 0.5.0 -> 0.6.0
2019-05-07 13:19:50 +02:00
Vincent Laporte ab4b23c35c
ocamlPackages.elpi: 1.1.0 -> 1.2.0 2019-05-07 09:40:51 +00:00
Renaud 814f127e57
Merge pull request #61002 from r-ryantm/auto-update/ocaml4.06.1-re
ocamlPackages.re: 1.8.0 -> 1.9.0
2019-05-06 13:56:15 +02:00
Renaud 83d6250145
Merge pull request #61004 from r-ryantm/auto-update/ocaml4.06.1-ppx_derivers
ocamlPackages.ppx_derivers: 1.2 -> 1.2.1
2019-05-06 12:21:16 +02:00
Vincent Laporte eff7bc3f33 ocamlPackages.uri_1_9: remove at 1.9.6 2019-05-05 22:00:58 +02:00
Vincent Laporte f38bf3ba4e ocamlPackages.bap: 1.4.0 -> 1.6.0
libbap: 2018-03-01 -> 2019-04-05
2019-05-05 22:00:58 +02:00
R. RyanTM 8d9e99992e ocamlPackages.ppx_derivers: 1.2 -> 1.2.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ppx_derivers/versions
2019-05-05 11:37:30 -07:00
R. RyanTM bdd85ebab4 ocamlPackages.ppxlib: 0.5.0 -> 0.6.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ppxlib/versions
2019-05-05 11:24:04 -07:00
R. RyanTM 3571e09fb2 ocamlPackages.re: 1.8.0 -> 1.9.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-re/versions
2019-05-05 11:18:57 -07:00
Théo Zimmermann 10d7bfedae ocaml-ng.ocamlPackages_4_07.seq: dummy package with just a META file
Imitate opam which installs the real seq package only for OCaml < 4.07 and only a META file for OCaml >= 4.07.
2019-05-04 13:55:10 +02:00
Vincent Laporte 2406c06ae0 ocamlPackages.tyxml: 4.2.0 -> 4.3.0
ocamlPackages.eliom: 6.4.0 -> 6.7.0
ocamlPackages.js_of_ocaml: 3.2.1 -> 3.3.0
2019-04-28 17:42:36 +02:00
Vincent Laporte 61b53f4071 ocamlPackages.ojquery: remove at 0.1 2019-04-28 17:42:36 +02:00
Austin Seipp 1daf31dc8e
ocamlPackages.zarith: 1.7 -> 1.8
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-23 09:23:04 -05:00
Austin Seipp 44da3f6522
Revert "ocamlPackages.zarith: 1.7 -> 1.8"
This reverts commit 1c84236afb.

See the explanation in 564653f91d. The
lack of CAML_LD_LIBRARY_PATH causes regressions in dependent downstream
packages that try to use dllzarith.so directly.
2019-04-23 09:21:44 -05:00
markuskowa d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls
HTTPS urls
2019-04-22 23:37:07 +02:00
Vincent Laporte b387dced20
Merge pull request #59131 from vbgl/ocaml-uri-2.2
ocamlPackages.uri: 1.9.6 -> 2.2.0; ocamlPackages.cohttp: 1.1.1 -> 2.0.0
2019-04-22 21:16:33 +02:00
Daniel Schaefer bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Matthew Bauer f475aeaf29
Merge pull request #59535 from matthewbauer/homepage-fixes
treewide: update homepages to https where available
2019-04-15 20:47:30 -04:00
Matthew Bauer 290a5d916e treewide: update homepages to https where available
Based on "problems" from repology:

https://repology.org/repository/nix_unstable/problems

Mostly simple changes to reflect redirects.
2019-04-15 10:10:05 -04:00
Vincent Laporte 1c84236afb ocamlPackages.zarith: 1.7 -> 1.8 2019-04-12 16:48:32 +02:00
Vincent Laporte b5c224d2a5 ocamlPackages.bignum: remove at 0.11.0 2019-04-12 16:48:32 +02:00
Sarah Brofeldt 8acaf113a2
Merge pull request #59073 from vbgl/ocaml-faraday-0.7
ocamlPackages.faraday: 0.5.0 -> 0.7.0
ocamlPackages.farfadet: 0.2 -> 0.3
2019-04-10 17:29:51 +02:00
Vincent Laporte 2dfc7524c6
ocamlPackages.cohttp: 1.1.1 -> 2.0.0 2019-04-07 20:11:18 +00:00
Vincent Laporte 905405eb72
ocamlPackages.uri: 1.9.6 -> 2.2.0 2019-04-07 20:11:13 +00:00
Pascal Wittmann c62b24679b
Merge pull request #59065 from vbgl/ocaml-base64-3.1.0
ocamlPackages.base64: 2.0.0 -> 3.2.0
2019-04-07 21:57:38 +02:00
R. RyanTM 2cb358246d ocamlPackages.ppxlib: 0.3.1 -> 0.5.0 (#54755)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ppxlib/versions
2019-04-07 09:27:00 +00:00
R. RyanTM 9d5d5b243d
ocamlPackages.reactivedata: 0.2.1 -> 0.2.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-reactivedata/versions

Closes #58405
2019-04-06 14:59:12 +00:00
Vincent Laporte 2cde1a89b6
ocamlPackages.farfadet: 0.2 -> 0.3
ocamlPackages.faraday: 0.5.0 -> 0.7.0
2019-04-06 14:44:26 +00:00
Vincent Laporte 3a10042c81
ocamlPackages.base64: 2.0.0 -> 3.2.0
Keep the legacy version under attribute `base64_2`
2019-04-06 13:24:16 +00:00
Vincent Laporte 65f77edaa8
Merge pull request #57344 from r-ryantm/auto-update/ocaml4.06.1-uutf
ocamlPackages.uutf: 1.0.1 -> 1.0.2
2019-04-06 14:57:25 +02:00
Vincent Laporte a01129912f ocamlPackages.re2: fix build on darwin 2019-04-02 09:37:30 +02:00
R. RyanTM fe99c0424f ocamlPackages.ocaml_extlib: 1.7.5 -> 1.7.6
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-extlib/versions
2019-03-27 15:29:13 +01:00
Vincent Laporte f5f8d85419
Merge pull request #58435 from rixed/ocaml-syslog-also-opt
ocaml-syslog: fix missing cmxa file
2019-03-27 14:43:24 +01:00
Cedric Cellier b3876e522e ocaml-syslog: fix missing cmxa file
Makefile does not produce native library by default.
2019-03-27 14:38:02 +01:00
Cedric Cellier 1777055209 ocamlPackages.stdint: 0.5.0 -> 0.5.1 2019-03-27 13:53:58 +01:00
Vincent Laporte 853b589f78
ocamlPackages.cairo2: 0.5 -> 0.6 (#57965) 2019-03-26 15:11:37 +01:00
Vincent Laporte 6a45d871c7 ocamlPackages.lablgtk3: use buildDunePackage 2019-03-26 14:17:50 +01:00
Vincent Laporte f56d52bbc3 ocamlPackages.zmq: use buildDunePackage 2019-03-26 14:17:50 +01:00
Cedric Cellier 0206adc566 lacaml: init at 11.0.3 2019-03-24 19:37:47 +01:00
Cedric Cellier 913e33897c ocaml-syslog: init at 1.5 2019-03-19 09:31:12 +01:00
R. RyanTM 99f9563830 ocamlPackages.resource-pooling: 0.5.2 -> 0.6 (#55237)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-resource-pooling/versions
2019-03-15 23:27:24 +01:00
R. RyanTM fdb95b4d4d ocamlPackages.yojson: 1.6.0 -> 1.7.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-yojson/versions
2019-03-11 12:17:45 +01:00
R. RyanTM 045f09065b ocamlPackages.uutf: 1.0.1 -> 1.0.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-uutf/versions
2019-03-11 00:18:15 -07:00
Vincent Laporte 01f88218d2 ocamlPackages.lablgtk3: 3.0.beta4 -> 3.0.beta5 2019-03-05 09:06:28 +01:00
Vincent Laporte 93ce3df6b5 ocamlPackages.stdlib-shims: init at 0.1.0 2019-03-03 11:45:21 +01:00
Vincent Laporte 79bc38c1bc ocamlPackages.mlgmpidl: 1.2.7 -> 1.2.8
This version builds even if profiling is not available (e.g., on Aarch).
2019-02-28 22:24:07 +01:00
Vincent Laporte 9a666f92a2
ocamlPackages.wtf8: disable for OCaml ≤ 4.01 2019-02-22 17:04:57 +00:00
Vincent Laporte a03930d9d5
ocamlPackages.opti: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte 887a5373d6
ocamlPackages.dtoa: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte 91e194579d
ocamlPackages.bisect_ppx-ocamlbuild: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte 598554d476
ocamlPackages.atd: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte b275d09224 ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4 2019-02-22 13:00:04 +01:00
Vincent Laporte b60b304cef ocamlPackages.yojson: 1.4.1 -> 1.6.0 2019-02-20 10:41:53 +01:00
Vincent Laporte e4035c3e0e
Merge pull request #55633 from vbgl/alt-ergo-2.3.0
alt-ergo: 2.2.0 -> 2.3.0
2019-02-19 09:53:57 +01:00
Vincent Laporte b1ac25e7ed ocamlPackages.hex: 1.2.0 -> 1.3.0 2019-02-17 10:59:33 +01:00
Vincent Laporte 039f359a7d ocamlPackages.ocaml-migrate-parsetree: 1.1.0 -> 1.2.0 2019-02-16 09:05:06 +01:00
R. RyanTM 17711be1ab
ocamlPackages.psmt2-frontend: 0.1 -> 0.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-psmt2-frontend/versions
2019-02-12 09:17:19 +00:00
R. RyanTM 8c2d2cba7c ocamlPackages.topkg: 0.9.1 -> 1.0.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-topkg/versions
2019-02-11 12:35:22 +01:00
Vincent Laporte 570dd83ae4
ocamlPackages.ocsigen-start: 1.4.0 -> 1.5.0 2019-02-03 14:20:17 +00:00
Vincent Laporte 65ba19a9c5
ocamlPackages.ocsigen-start: 1.2.0 -> 1.4.0 2019-02-03 14:20:16 +00:00
Vincent Laporte c3ddb39ade
ocamlPackages.ocsigen-start: 1.1.0 -> 1.2.0 2019-02-03 14:20:15 +00:00
Vincent Laporte 5a2f6b08bf
ocamlPackages.ocsigen-toolkit: 1.1.0 -> 2.0.0 2019-02-03 14:20:14 +00:00
Vincent Laporte 686f8a4710
ocamlPackages.eliom: 6.3.0 -> 6.4.0 2019-02-03 14:20:14 +00:00
Vincent Laporte 05350c0047
ocamlPackages.ocsigen_server: 2.9 -> 2.11 2019-02-03 14:20:13 +00:00
Vincent Laporte d8a8de45d0
ocamlPackages.lwt_camlp4: init at 20180325 2019-02-03 14:20:11 +00:00
Vladyslav M 805e2bbced
Merge pull request #53703 from vbgl/ocaml-ocp-indent-1.7.0
ocamlPackages.ocp-indent: 1.6.1 -> 1.7.0
2019-01-16 00:54:27 +02:00
Austin Seipp 564653f91d ocamlPackages.zarith: use buildOcaml instead of mkDerivation
This has two main advantages:

  - By setting hasSharedObjects = true, buildOcaml will automatically
include a setup-hook.sh that sets CAML_LD_LIBRARY_PATH in dependent
expressions. This is needed to pick up dllzarith.so properly which is
shipped as part of the library.

  - We can kill the ugly assert in the expression and instead change it
to use minimumSupportedOcamlVersion.

(Note: this was reverted in b44d5136e8, but the change is
exactly equivalent -- I wasn't sure what impact zarith might actually
have without checking OfBorg, which I wanted to do first.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-15 01:28:11 -06:00
Austin Seipp b44d5136e8 Revert "ocamlPackages.zarith: use buildOcaml instead of mkDerivation"
This reverts commit 9d5a7af4e5.
2019-01-15 00:35:11 -06:00
Austin Seipp 9d5a7af4e5 ocamlPackages.zarith: use buildOcaml instead of mkDerivation
This has two main advantages:

  - By setting hasSharedObjects = true, buildOcaml will automatically
include a setup-hook.sh that sets CAML_LD_LIBRARY_PATH in dependent
expressions. This is needed to pick up dllzarith.so properly which is
shipped as party of the library.

  - We can kill the ugly assert in the expression and instead change it
to use minimumSupportedOcamlVersion.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-15 00:33:59 -06:00
R. RyanTM ac38750e32 ocamlPackages.rope: 0.6 -> 0.6.1 (#52829)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-rope/versions
2019-01-13 22:39:55 +01:00
Vincent Laporte ad23ea312d ocamlPackages.lablgtk3: 3.0.β2 → 3.0.β3 2019-01-12 18:42:45 +00:00
Vincent Laporte db217a8aca ocamlPackages.resource-pooling: init at 0.5.2
A library for pooling resources like connections, threads, or similar.

Homepage: https://github.com/ocsigen/resource-pooling
2019-01-12 08:23:48 +00:00
Vincent Laporte 522148ba4e
ocamlPackages.cmdliner: restore version 1.0.2 for OCaml ≤ 4.02 2019-01-09 16:37:39 +00:00
Vincent Laporte 8b79557600 ocamlPackages.ppx_deriving_yojson: 3.1 -> 3.3 2018-12-25 10:43:41 +01:00
Vincent Laporte d7f08cd90f ocamlPackages.ppxfind: init at 1.2 2018-12-25 10:43:41 +01:00
Vincent Laporte daaba731a7 ocamlPackages.csv-lwt: init at 2.2 2018-12-24 14:57:07 +01:00
Renaud b7355e6f7a
Merge pull request #52179 from r-ryantm/auto-update/ocaml-cmdliner
ocamlPackages.cmdliner: 1.0.2 -> 1.0.3
2018-12-19 16:59:02 +01:00
Renaud c98754dd12
Merge pull request #52172 from r-ryantm/auto-update/ocaml-curses
ocamlPackages.curses: 1.0.3 -> 1.0.4
2018-12-19 16:42:25 +01:00
Vincent Laporte 6620de7594 ocamlPackages.atdgen: init at 2.0.0
Atdgen is a command-line program that takes as input type definitions in the
ATD syntax and produces OCaml code suitable for data serialization and
deserialization.

Homepage: https://github.com/mjambon/atd
2018-12-17 21:38:49 +00:00
Vincent Laporte b5f580fa2e ocamlPackages.labltk: fix evaluation with OCaml < 4.04 2018-12-17 17:46:46 +00:00
Vincent Laporte 5e786dedc1 ocaml-ng.ocamlPackages_4_01_0.ppx_cstruct: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte f41ac80d74 ocaml-ng.ocamlPackages_4_01_0.cstruct-unix: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte 3cca862a5f ocaml-ng.ocamlPackages_4_01_0.cstruct-lwt: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte b6ca91fba5 ocamlPackages.elina: init at 1.1
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
2018-12-16 08:54:51 +00:00
R. RyanTM 20f691ddee ocamlPackages.cmdliner: 1.0.2 -> 1.0.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml-cmdliner/versions
2018-12-14 23:27:29 -08:00
R. RyanTM 2d5545daaf ocamlPackages.curses: 1.0.3 -> 1.0.4
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml-curses/versions
2018-12-14 22:26:13 -08:00
Vincent Laporte 42fd1728fa
ocamlPackages.lablgtk3: 3.0.beta1 -> 3.0.beta2 2018-12-14 09:11:25 +00:00
Vincent Laporte 113a7562fe ocamlPackages.lablgtk3: init at 3.0.beta1 2018-12-13 09:09:09 +00:00
Vincent Laporte ee843ee86e ocamlPackages.ppx_import: 1.5 -> 1.5-3 2018-12-12 09:34:38 +00:00
Vincent Laporte 47c4876de6 ocamlPackages.ppx_deriving_yojson: disable tests 2018-12-12 09:34:38 +00:00
Vincent Laporte 1a04bd4414 ocamlPackages.checkseum: init at 0.0.3
Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic
Redundancy Check. It provides 2 implementation, the first in C and the
second in OCaml.

Homepage: https://github.com/mirage/checkseum
2018-12-11 08:12:27 +00:00
Vincent Laporte e9b43adab7 ocamlPackages.optint: init at 0.0.2
This library provide one module Optint which internally uses an int if
you are in a x64 architecture or an int32 (boxed value) if you are in a
x86 architecture.

Homepage: https://github.com/mirage/optint
2018-12-11 08:12:27 +00:00
Vincent Laporte 0c9abf6436
ocamlPackages.camlimages: 5.0.0 -> 5.0.1 2018-12-07 04:22:10 +00:00
Vincent Laporte b684e3d24b ocamlPackages.javalib: 2.3.5 -> 3.0
ocamlPackages.sawja: 1.5.3 -> 1.5.6
2018-12-07 03:28:54 +00:00
Vincent Laporte f698c0c418 ocamlPackages.frontc: 3.4 -> 3.4.1 2018-12-05 08:49:40 +00:00
Vincent Laporte b3411342a4 ocamlPackages.zmq: fix build with non-default OCaml 2018-12-05 08:48:59 +00:00
Jörg Thalheim 1388223456
Merge pull request #51276 from nomeata/ocaml-bisect
Add bisect_ppx and bisect_ppx-ocamlbuild
2018-12-02 23:44:41 +00:00
Magnus Jonsson d23acab3a3 ocamlPackages.opti: init at 1.0.3 2018-12-01 19:00:23 -08:00
Joachim Breitner 6ca50c3deb bisect_ppx-ocamlbuild: Propagate ocamlbuild 2018-12-01 23:47:58 +01:00
Joachim Breitner 54ed86852e Switch to buildDunePackage, and remove redundancies 2018-12-01 17:46:29 +01:00
Joachim Breitner 7621523fc1 Add bisect_ppx and bisect_ppx-ocamlbuild 2018-11-30 12:57:01 +01:00
Renaud 200422c91b
Merge pull request #50671 from r-ryantm/auto-update/ocaml4.06.1-visitors
ocamlPackages.visitors: 20171124 -> 20180513
2018-11-29 14:39:28 +01:00
Renaud 4c331eb7ef
Merge pull request #50683 from r-ryantm/auto-update/ocaml4.06.1-csv
ocamlPackages.csv: 2.1 -> 2.2
2018-11-29 14:37:08 +01:00
Renaud f68dc97d7d
Merge pull request #50673 from r-ryantm/auto-update/ocaml4.06.1-opam-file-format
ocamlPackages.opam-file-format: 2.0.0-rc2 -> 2.0.0
2018-11-29 14:20:20 +01:00
Vincent Laporte 88d20b2052 ocamlPackages.menhir: 20181026 -> 20181113 2018-11-21 06:12:33 +00:00
R. RyanTM c64467de65 ocamlPackages.csv: 2.1 -> 2.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-csv/versions
2018-11-18 23:32:14 -08:00
R. RyanTM bd54510d16 ocamlPackages.opam-file-format: 2.0.0-rc2 -> 2.0.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-opam-file-format/versions
2018-11-18 21:17:09 -08:00
R. RyanTM 24af67b42b ocamlPackages.visitors: 20171124 -> 20180513
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-visitors/versions
2018-11-18 21:01:34 -08:00
Théo Zimmermann 208aedb971 ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
Jörg Thalheim 6706d967aa
Merge pull request #50030 from r-ryantm/auto-update/ocaml4.06.1-bos
ocamlPackages.bos: 0.1.6 -> 0.2.0
2018-11-10 10:32:05 +00:00
Jörg Thalheim 3b27af320d
Merge pull request #49211 from r-ryantm/auto-update/ocaml4.06.1-rresult
ocamlPackages.rresult: 0.5.0 -> 0.6.0
2018-11-09 15:35:09 +00:00
R. RyanTM cc54b1b8ac ocamlPackages.bos: 0.1.6 -> 0.2.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-bos/versions
2018-11-09 07:14:44 -08:00
Jörg Thalheim 8debc01cb4
Merge pull request #49822 from marsam/feature/update-flow
flow: 0.80.0 -> 0.85.0
2018-11-07 15:05:57 +00:00
Théo Zimmermann 794158fcd5
buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
Vincent Laporte 15995ea2b2 ocamlPackages.odoc: 1.2.0 -> 1.3.0 2018-11-06 18:20:49 +00:00
Mario Rodas 36efe7b3aa ocamlPackages.visitors: init at 20171124 2018-11-06 08:06:11 -05:00
Jörg Thalheim f1ba745392
Merge pull request #49210 from r-ryantm/auto-update/ocaml4.06.1-ocaml-migrate-parsetree
ocamlPackages.ocaml-migrate-parsetree: 1.0.11 -> 1.1.0
2018-10-29 01:12:54 +00:00
Jörg Thalheim f5b281f11c
Merge pull request #49215 from r-ryantm/auto-update/ocaml4.06.1-fmt
ocamlPackages.fmt: 0.8.4 -> 0.8.5
2018-10-28 23:26:08 +00:00
Vincent Laporte 80bb1db72c
ocamlPackages.menhir: 20170712 -> 20181026 2018-10-28 15:30:49 +00:00
R. RyanTM d0db0bd3e9 ocamlPackages.fmt: 0.8.4 -> 0.8.5
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-fmt/versions
2018-10-26 22:47:59 -07:00
R. RyanTM 9c2b2dbd9d ocamlPackages.rresult: 0.5.0 -> 0.6.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-rresult/versions
2018-10-26 21:53:10 -07:00
R. RyanTM ab7172a326 ocamlPackages.ocaml-migrate-parsetree: 1.0.11 -> 1.1.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ocaml-migrate-parsetree/versions
2018-10-26 21:44:22 -07:00
Vincent Laporte c640f024dd
ocamlPackages.vg: 0.9.0 -> 0.9.1 2018-10-25 05:36:37 +00:00
Mateusz Czapliński 98d4e42145 ocamlPackages.zmq: init at 20180726 2018-10-22 06:51:17 +00:00
Timo Kaufmann 4fb56f1368
Merge pull request #48387 from r-ryantm/auto-update/ocaml4.06.1-ppxlib
ocamlPackages.ppxlib: 0.3.0 -> 0.3.1
2018-10-20 23:01:08 +02:00
Vincent Laporte de4f6cb453
ocamlPackages.elpi: 1.0.5 -> 1.1.0 2018-10-15 13:41:45 +00:00
R. RyanTM c72e9d5034 ocamlPackages.ppxlib: 0.3.0 -> 0.3.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-ppxlib/versions
2018-10-14 03:43:47 -07:00
Moritz Kiefer 6738033727
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 2018-10-13 17:45:45 +00:00
Théo Zimmermann 2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann eaf0de5985
ulex: remove version 0.8 2018-10-10 19:42:54 +02:00