1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 19:45:54 +00:00
Commit graph

596 commits

Author SHA1 Message Date
Domen Kožar f87deb0b3a Merge pull request #22101 from zimbatm/no-md5
Bye bye MD5
2017-01-25 09:07:48 +01: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 92f9c0600d ocamlPackages.ocsigen-deriving: 0.7 -> 0.7.1 2017-01-24 21:13:00 +00:00
Vincent Laporte 0caeaf4cdd ocamlPackages.ppx_tools: minor refactoring 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
zimbatm 4958485bc3 ocamlPackages.ocaml_optcomp: update hash to sha256 2017-01-24 16:01:04 +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 18a5e1522c ocamlPackages.{camlpdf,cpdf}: 2.1.1 -> 2.2.1 2017-01-20 06:37:48 +00: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 34d78bc312 ocamlPackages.markup: 0.7.3 -> 0.7.4 2017-01-13 06:38:12 +00:00
Vincent Laporte 6f48e4d99d ocamlPackages.eliom: 5.0.0 -> 6.0.0 2017-01-13 06:38:11 +00:00
Vincent Laporte 6b546f2543 ocamlPackages.reactivedata: 0.2 -> 0.2.1 2017-01-13 06:38:11 +00:00
Vincent Laporte 5d309cc834 ocamlPackages.notty: 0.1.1 -> 0.1.1a (53f5946) 2017-01-13 06:38:10 +00:00
Vincent Laporte 6636dfa845 ocamlPackages.ocb-stubblr: init at 0.1.0 2017-01-13 06:38:10 +00:00
Vincent Laporte 67a245356d ocsigen-server: 2.7 -> 2.8 2017-01-13 06:38:10 +00:00
Vincent Laporte 33c2805324 ocamlPackages.tyxml: 3.6.0 -> 4.0.1 2017-01-13 06:38:09 +00:00
Vincent Laporte 5dc59fbf38 ocamlPackages.vg: 0.8.1 -> 0.9.0 2017-01-13 06:38:09 +00:00
Vincent Laporte 110a0fb028 ocamlPackages.markup: 0.7.2 -> 0.7.3 2017-01-13 06:38:08 +00:00
Vincent Laporte bf1723a89b ocamlPackages.otfm: 0.2.0 -> 0.3.0 2017-01-13 06:38:08 +00:00
Vincent Laporte 221f20413d ocamlPackages.jsonm: 0.9.1 -> 1.0.0 2017-01-13 06:38:08 +00:00
Vincent Laporte 190cc67310 ocamlPackages.uuseg: 0.9.0 -> 1.0.0 2017-01-13 06:38:07 +00:00
Vincent Laporte 7565673f71 ocamlPackages.uucp: 1.1.0 -> 2.0.0 2017-01-13 06:38:07 +00:00
Vincent Laporte 8990a6c116 ocamlPackages.uunf: 0.9.3 -> 2.0.0 2017-01-13 06:38:07 +00:00
Vincent Laporte 7ebe29a56c ocamlPackages.uutf: 0.9.4 -> 1.0.0 2017-01-13 06:38:06 +00:00
Vincent Laporte c4a2bd4668 ocamlPackages.topkg: 0.7.8 -> 0.8.1 2017-01-13 06:38:06 +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
Michael Raskin 6f12fb7403 Merge pull request #19765 from FlorentBecker/some_buildOcaml
Update various packages to use buildOcaml, with fixes
2016-12-30 20:47:50 +00:00
Vincent Laporte ebe19f5db0 lablgtk: 2.18.3 -> 2.18.5 2016-12-22 06:07:06 +00:00
Joachim F 9e6ac83f2a Merge pull request #21262 from FlorentBecker/ocaml-pcre
ocaml-pcre: fix name
2016-12-21 20:36:56 +01:00
Vincent Laporte 1b79847e75 ocamlPackages.containers: 0.20 -> 0.22 2016-12-20 04:10:05 +00:00
Florent Becker 3ef134a19b ocaml-pcre: fix name 2016-12-18 16:19:55 +01:00
Vincent Laporte 3d804da983 camlimages: use omake rather than omake_rc1 2016-12-02 19:49:08 +00:00
Pascal Wittmann 014a1b430a Merge pull request #20615 from vbgl/lwt-2.6.0
ocamlPackages.lwt: 2.5.2 → 2.6.0
2016-11-30 16:36:52 +01:00
Vincent Laporte dd45d2552f ocamlPackages.alcotest: 0.4.5 -> 0.7.2 2016-11-23 10:01:32 +01: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 0a309311dd ocamlPackages.topkg: make the installPhase independent of the package name
It can then be reused as-is in other derivations (e.g., uucd).
2016-11-23 10:01:30 +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
Vincent Laporte bfe0f29277 ocamlPackages.lwt: 2.5.2 -> 2.6.0 2016-11-22 10:25:01 +01:00
Vincent Laporte 5267f37849 ocamlPackages.ssl: 0.5.2 -> 0.5.3 2016-11-22 10:25:00 +01:00
Joachim F 5d7c2d9a4a Merge pull request #20526 from sternenseemann/x509
ocaml-x509: set mininimum supported ocaml version
2016-11-21 13:14:15 +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