JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
106,547 Commits 2 Branches 0 Tags 13 GiB
1cce0887ee
Commit Graph

116 Commits

Author SHA1 Message Date
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
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