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 |
|
Vincent Laporte
|
e672fbc6f0
|
omake: remove 0.9.8.6-rc1
|
2016-12-02 19:49:08 +00:00 |
|
Vincent Laporte
|
895d3c8908
|
omake: 0.9.8.5 -> 0.10.1
|
2016-12-02 19:49:07 +00:00 |
|
Vincent Laporte
|
66b9602a2f
|
ocamlPackages.fmt: init at 0.8.0
fmt is an OCaml library of Format pretty-printer combinators.
Homepage: http://erratique.ch/software/fmt
|
2016-11-23 10:01:31 +01:00 |
|
Vincent Laporte
|
97a496a472
|
ocamlPackages.ocplib-simplex: init at 0.3
ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities.
homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
|
2016-11-23 09:59:10 +01:00 |
|
Joachim F
|
c346326b24
|
Merge pull request #20527 from sternenseemann/notty
ocaml-notty: init at 0.1.1
|
2016-11-21 13:13:51 +01:00 |
|
Joachim F
|
9c1b6709a9
|
Merge pull request #20528 from sternenseemann/tls
ocaml-tls: init at 0.7.1
|
2016-11-21 13:12:32 +01:00 |
|
Joachim F
|
c7ecad6378
|
Merge pull request #20529 from sternenseemann/erm_xmpp
ocaml-erm_xmpp_0_3: init at 0.3
|
2016-11-21 13:11:58 +01:00 |
|
sternenseemann
|
15004268d7
|
ocaml-notty: init at 0.1.1
|
2016-11-18 22:52:16 +01:00 |
|
sternenseemann
|
ae13a18c6a
|
ocaml-erm_xmpp_0_3: init at 0.3
|
2016-11-18 14:42:12 +01:00 |
|
sternenseemann
|
c7dc06655a
|
ocaml-otr: init at 0.3.3
|
2016-11-18 14:39:58 +01:00 |
|
sternenseemann
|
d98a770ec4
|
ocaml-tls: init at 0.7.1
|
2016-11-18 14:23:49 +01:00 |
|
sternenseemann
|
86c45fc2d3
|
ocaml-nocrypto: 0.5.1 -> 0.5.3
|
2016-11-17 21:40:46 +01:00 |
|
Graham Christensen
|
febf3cfd34
|
Merge pull request #20188 from vbgl/clean-opam
We don’t need so many opam versions
|
2016-11-08 09:55:59 -05:00 |
|
Théo Zimmermann
|
01910b1801
|
ocamlPackage.ppx_import: init at 1.1
|
2016-11-08 15:38:45 +01:00 |
|
Vincent Laporte
|
f9b4c1c04a
|
opam: move out of ocamlPackages
|
2016-11-05 16:28:21 +01:00 |
|
Vincent Laporte
|
01597adf07
|
opam: remove 1.1
|
2016-11-05 16:28:21 +01:00 |
|
Vincent Laporte
|
22732fc656
|
opam: remove 1.0.0
|
2016-11-05 16:28:21 +01:00 |
|
sternenseemann
|
37a47c1970
|
ocaml-astring: init at 0.8.3
|
2016-11-05 10:04:18 +01:00 |
|
sternenseemann
|
3f0e1f4c83
|
ocaml-ptime: init at 0.8.2
|
2016-11-04 19:15:18 +01:00 |
|
Vincent Laporte
|
16242a7c63
|
ocamlPackages.sedlex: init at 1.99.3
sedlex is a Unicode-friendly lexer generator for OCaml.
Homepage: https://github.com/alainfrisch/sedlex
|
2016-11-04 19:06:45 +01:00 |
|
Profpatsch
|
2bd86e9e47
|
Revert "Merge pull request #20090 from sternenseemann/master"
Reason: https://github.com/NixOS/nixpkgs/pull/20090#commitcomment-19686426
This reverts commit 9ffcb1b250 , reversing
changes made to a6283c1126 .
|
2016-11-04 12:24:57 +01:00 |
|
John Wiegley
|
4008300243
|
Merge pull request #20025 from vbgl/coq-8.5pl3
Coq: 8.5pl2 -> 8.5pl3
|
2016-11-03 10:38:45 -07:00 |
|
sternenseemann
|
096ec04b82
|
ocaml-erm_xmpp_0_3: init at 0.3
|
2016-11-03 14:39:26 +01:00 |
|
sternenseemann
|
9554143a9c
|
ocaml-otr: init at 0.3.3
|
2016-11-03 14:39:26 +01:00 |
|
sternenseemann
|
02388e9ba5
|
ocaml-notty: init at 0.1.1
|
2016-11-03 14:39:22 +01:00 |
|
sternenseemann
|
db760a5edc
|
ocaml-astring: init at 0.8.3
|
2016-11-03 14:34:35 +01:00 |
|
sternenseemann
|
d675e0d832
|
ocaml-tls: init at 0.7.1
|
2016-11-03 14:34:31 +01:00 |
|
sternenseemann
|
d8686b4949
|
ocaml-nocrypto: 0.5.1 -> 0.5.3
|
2016-11-03 14:24:47 +01:00 |
|
sternenseemann
|
0c8859fd17
|
ocaml-ptime: init at 0.8.2
|
2016-11-03 14:08:18 +01:00 |
|
Vincent Laporte
|
5f49eeb935
|
coq: move out of ocamlPackages
|
2016-11-02 19:23:15 +01:00 |
|
Vincent Laporte
|
92ef4067a6
|
ocamlPackages.uchar: init at 0.0.1
The uchar package provides a compatibility library for the `Uchar` module introduced in OCaml 4.03.
|
2016-10-19 19:20:32 +02:00 |
|
Kirill Boltaev
|
0a6ec885aa
|
ocaml-ng: export mkOcamlPackages
|
2016-10-17 08:50:23 +02:00 |
|
Vincent Laporte
|
731b616fdb
|
camlp4: fix for OCaml-4.03
|
2016-10-09 11:55:19 +02:00 |
|
Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
Kirill Boltaev
|
e61663a233
|
treewide: move to ocaml-ng system
|
2016-09-26 02:36:49 +03:00 |
|