Vincent Laporte
|
03be79a018
|
ocamlPackages.ppx_sexp_message: init at 113.33.00+4.03
|
2017-02-26 17:29:36 +00:00 |
|
Vincent Laporte
|
758d052990
|
ocamlPackages.ppx_pipebang: init at 113.33.00+4.03
|
2017-02-26 17:29:36 +00:00 |
|
Vincent Laporte
|
3615c47c22
|
ocamlPackages.ppx_let: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
cf39dba1d8
|
ocamlPackages.ppx_fail: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
8f74b9024f
|
ocamlPackages.ppx_expect: init at 113.33.01+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
0e6e2af219
|
ocamlPackages.ppx_variants_conv: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
1aab9f884d
|
ocamlpackages.ppx_fields_conv: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
ecc5dd5571
|
ocamlPackages.ppx_enumerate: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
c4e5f18631
|
ocamlPackages.ppx_custom_printf: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
654dd0aa96
|
ocamlPackages.ppx_bench: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
b4abe046d7
|
ocamlPackages.ppx_inline_test: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
3a9ae7e367
|
ocamlPackages.ppx_compare: init at 113.33.00+4.03
|
2017-02-26 17:29:35 +00:00 |
|
Vincent Laporte
|
71739f348e
|
Revert "ocamlPackages.spacetime: only build with ocaml-4.04"
This reverts commit f18ac15dca .
|
2017-02-24 19:02:48 +00:00 |
|
Vincent Laporte
|
a9b0c95ad4
|
ocamlPackages.ppx_sexp_conv: init at 113.33.01+4.03
|
2017-02-23 19:07:38 +00:00 |
|
Vincent Laporte
|
7ca9e6776d
|
ocamlPackages.ppx_type_conv: init at 113.33.02+4.03
|
2017-02-23 19:04:01 +00:00 |
|
Vincent Laporte
|
d6bc0c9236
|
ocamlPackages.ppx_optcomp: init at 113.33.0[01]+4.03
|
2017-02-23 18:34:17 +00:00 |
|
Vincent Laporte
|
63796fd38f
|
ocamlPackages.ppx_core: init at 113.33.01+4.03
|
2017-02-23 18:28:15 +00:00 |
|
Vincent Laporte
|
be427d6e51
|
ocamlPackages.sexplib: init at 113.33.00+4.03
|
2017-02-23 18:25:56 +00:00 |
|
sternenseemann
|
8352e0b38c
|
ocaml-ipaddr: 2.6.1 -> 2.7.2
Keeps the legacy version under attribute `ipaddr_p4`;
it is needed for OCaml < 4.02 and some libraries (eg `conduit`).
|
2017-02-23 08:01:29 +00:00 |
|
Vincent Laporte
|
cb6d15549a
|
ocamlPackages.mparser: init at 1.2.1
MParser is a simple monadic parser combinator library for OCaml.
Homepage: https://github.com/cakeplus/mparser/
|
2017-02-22 19:23:06 +00:00 |
|
Vincent Laporte
|
b634622be0
|
compcert: 2.7.1 -> 3.0.1
|
2017-02-20 20:09:53 +00:00 |
|
vbgl
|
d31577cfd3
|
Merge pull request #22871 from FlorentBecker/default_ocaml_402
Default ocaml 402
|
2017-02-19 15:54:54 +01:00 |
|
Florent Becker
|
4c5f083d70
|
prooftree: move out of ocamlPackages
|
2017-02-19 13:06:25 +01:00 |
|
Florent Becker
|
6893d8a2fd
|
llpp: move out of ocamlPackages
|
2017-02-19 13:06:25 +01:00 |
|
Florent Becker
|
88dac94e3b
|
switch ocamlPackages to 4.02
|
2017-02-19 13:06:24 +01:00 |
|
Florent Becker
|
f18ac15dca
|
ocamlPackages.spacetime: only build with ocaml-4.04
|
2017-02-19 13:06:24 +01:00 |
|
Florent Becker
|
bf13a2cfc6
|
ocamlPackages.camlimages_4_0: only build with ocaml 4.01
|
2017-02-19 13:05:47 +01:00 |
|
Florent Becker
|
2a17b75fb1
|
ocamlPackages.bitsring: associate ocaml versions with bitstring versions univocally
|
2017-02-19 13:05:47 +01:00 |
|
Florent Becker
|
b0d7d60fd4
|
prooftree: force ocaml 4.01
|
2017-02-19 13:05:46 +01:00 |
|
Florent Becker
|
11e4fcf941
|
ocamlPackages.llpp: only allow with ocaml-4.04
|
2017-02-19 13:05:44 +01:00 |
|
sternenseemann
|
a452714799
|
ocaml-cow: init at 2.2.0
|
2017-02-19 11:16:25 +00:00 |
|
Vincent Laporte
|
d2a4a84f00
|
ocamlPackages.uri: 1.9.1 -> 1.9.2
The old version is also kept, under the attribute `uri_p4`.
It is built against `sexplib` version prior to 113.33 and needed by `trv`.
|
2017-02-19 11:57:24 +01:00 |
|
sternenseemann
|
4f0feb4f5f
|
ocaml-logs: init at 0.6.2
|
2017-02-19 04:36:14 +00:00 |
|
sternenseemann
|
d738ac4fd5
|
ocaml-angstrom: init at 0.3.0
|
2017-02-19 02:12:52 +01:00 |
|
Pascal Wittmann
|
5de04f6d55
|
Revert "ocaml-lablgl: use camlp5"
This reverts commit 7a6aac9076 .
|
2017-02-09 09:14:51 +01:00 |
|
volth
|
762cc106b4
|
virt-top: init at 1.0.8 (#21536)
|
2017-02-04 16:07:45 +01:00 |
|
Pascal Wittmann
|
7a6aac9076
|
ocaml-lablgl: use camlp5
|
2017-02-03 22:12:53 +01:00 |
|
Vincent Laporte
|
23894b77a7
|
ocamlPackages.dolmen: init at 0.2
dolmen is an OCaml library providing clean and flexible parsers for input languages
Homepage: https://github.com/Gbury/dolmen
|
2017-01-28 17:40:48 +00:00 |
|
Vincent Laporte
|
453a3838f9
|
ocamlPackages.mtime: init at 0.8.3
Mtime is an OCaml module to access monotonic wall-clock time.
Homepage: http://erratique.ch/software/mtime
|
2017-01-25 06:55:59 +00:00 |
|
Vincent Laporte
|
5bcf3c5e25
|
ocamlPackages.spacetime_lib: init at 0.1.0
|
2017-01-24 21:20:08 +00:00 |
|
Vincent Laporte
|
ae047510bf
|
ocaml: init at 4.04
|
2017-01-24 21:13:00 +00:00 |
|
Michael Raskin
|
89278345c2
|
Merge pull request #22023 from vbgl/apron
ocamlPackages.apron: init at 20160125
|
2017-01-24 17:47:13 +00:00 |
|
vbgl
|
664d1d6dc9
|
Merge pull request #21261 from vbgl/uutf-1.0.0
Eliom 6 and various OCaml package updates
|
2017-01-21 20:23:28 +01:00 |
|
Vincent Laporte
|
75cea1db58
|
ocamlPackages.fpath: init at 0.7.1
Fpath is an OCaml module for handling file system paths with POSIX and Windows conventions.
Homepage: http://erratique.ch/software/fpath
|
2017-01-19 05:51:49 +00:00 |
|
Vincent Laporte
|
1503c11c5d
|
ocamlPackages.omd: init at 1.3.0
OMD is an extensible Markdown library and tool in OCaml.
Homepage: https://github.com/ocaml/omd
|
2017-01-17 20:37:20 +01:00 |
|
Vincent Laporte
|
67a5833330
|
ocamlPackages.apron: init at 20160125
APRON is an OCaml library of numerical abstract domains
Homepage: http://apron.cri.ensmp.fr/library/
|
2017-01-14 09:34:34 +00:00 |
|
Vincent Laporte
|
2f2fbc9966
|
ocamlPackages.mlgmpidl: init at 1.2.4
mlgmpidl is an OCaml interface to the GMP library.
Homepage: https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
|
2017-01-14 09:34:34 +00:00 |
|
Vincent Laporte
|
6636dfa845
|
ocamlPackages.ocb-stubblr: init at 0.1.0
|
2017-01-13 06:38:10 +00:00 |
|
Vincent Laporte
|
086fbfa308
|
ocamlPackages.owee: init at 0.2
Owee is an experimental library to work with DWARF format.
Homepage: https://github.com/let-def/owee
|
2017-01-12 09:12:52 +00:00 |
|
Vincent Laporte
|
e76a1f0e7e
|
Revert "omake: remove 0.9.8.6-rc1"
This reverts commit e672fbc6f0 .
|
2016-12-18 09:51:00 +00:00 |
|