about summary refs log tree commit diff
path: root/pkgs/top-level/ocaml-packages.nix
Commit message (Collapse)AuthorAge
...
* ocamlPackages.sexplib: init at 113.33.00+4.03Vincent Laporte2017-02-23
|
* ocaml-ipaddr: 2.6.1 -> 2.7.2sternenseemann2017-02-23
| | | | | Keeps the legacy version under attribute `ipaddr_p4`; it is needed for OCaml < 4.02 and some libraries (eg `conduit`).
* ocamlPackages.mparser: init at 1.2.1Vincent Laporte2017-02-22
| | | | | | MParser is a simple monadic parser combinator library for OCaml. Homepage: https://github.com/cakeplus/mparser/
* compcert: 2.7.1 -> 3.0.1Vincent Laporte2017-02-20
|
* Merge pull request #22871 from FlorentBecker/default_ocaml_402vbgl2017-02-19
|\ | | | | Default ocaml 402
| * prooftree: move out of ocamlPackagesFlorent Becker2017-02-19
| |
| * llpp: move out of ocamlPackagesFlorent Becker2017-02-19
| |
| * switch ocamlPackages to 4.02Florent Becker2017-02-19
| |
| * ocamlPackages.spacetime: only build with ocaml-4.04Florent Becker2017-02-19
| |
| * ocamlPackages.camlimages_4_0: only build with ocaml 4.01Florent Becker2017-02-19
| |
| * ocamlPackages.bitsring: associate ocaml versions with bitstring versions ↵Florent Becker2017-02-19
| | | | | | | | univocally
| * prooftree: force ocaml 4.01Florent Becker2017-02-19
| |
| * ocamlPackages.llpp: only allow with ocaml-4.04Florent Becker2017-02-19
| |
* | ocaml-cow: init at 2.2.0sternenseemann2017-02-19
| |
* | ocamlPackages.uri: 1.9.1 -> 1.9.2Vincent Laporte2017-02-19
|/ | | | | 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`.
* ocaml-logs: init at 0.6.2sternenseemann2017-02-19
|
* ocaml-angstrom: init at 0.3.0sternenseemann2017-02-19
|
* Revert "ocaml-lablgl: use camlp5"Pascal Wittmann2017-02-09
| | | | This reverts commit 7a6aac90763e1c92fea53154c876e05a28067235.
* virt-top: init at 1.0.8 (#21536)volth2017-02-04
|
* ocaml-lablgl: use camlp5Pascal Wittmann2017-02-03
|
* ocamlPackages.dolmen: init at 0.2Vincent Laporte2017-01-28
| | | | | | dolmen is an OCaml library providing clean and flexible parsers for input languages Homepage: https://github.com/Gbury/dolmen
* ocamlPackages.mtime: init at 0.8.3Vincent Laporte2017-01-25
| | | | | | Mtime is an OCaml module to access monotonic wall-clock time. Homepage: http://erratique.ch/software/mtime
* ocamlPackages.spacetime_lib: init at 0.1.0Vincent Laporte2017-01-24
|
* ocaml: init at 4.04Vincent Laporte2017-01-24
|
* Merge pull request #22023 from vbgl/apronMichael Raskin2017-01-24
|\ | | | | ocamlPackages.apron: init at 20160125
| * ocamlPackages.apron: init at 20160125Vincent Laporte2017-01-14
| | | | | | | | | | | | APRON is an OCaml library of numerical abstract domains Homepage: http://apron.cri.ensmp.fr/library/
| * ocamlPackages.mlgmpidl: init at 1.2.4Vincent Laporte2017-01-14
| | | | | | | | | | | | mlgmpidl is an OCaml interface to the GMP library. Homepage: https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
* | Merge pull request #21261 from vbgl/uutf-1.0.0vbgl2017-01-21
|\ \ | | | | | | Eliom 6 and various OCaml package updates
| * | ocamlPackages.ocb-stubblr: init at 0.1.0Vincent Laporte2017-01-13
| |/
* | ocamlPackages.fpath: init at 0.7.1Vincent Laporte2017-01-19
| | | | | | | | | | | | Fpath is an OCaml module for handling file system paths with POSIX and Windows conventions. Homepage: http://erratique.ch/software/fpath
* | ocamlPackages.omd: init at 1.3.0Vincent Laporte2017-01-17
|/ | | | | | OMD is an extensible Markdown library and tool in OCaml. Homepage: https://github.com/ocaml/omd
* ocamlPackages.owee: init at 0.2Vincent Laporte2017-01-12
| | | | | | Owee is an experimental library to work with DWARF format. Homepage: https://github.com/let-def/owee
* Revert "omake: remove 0.9.8.6-rc1"Vincent Laporte2016-12-18
| | | | This reverts commit e672fbc6f0e0dd503f78e0c23e6de1795bf81b8f.
* omake: remove 0.9.8.6-rc1Vincent Laporte2016-12-02
|
* omake: 0.9.8.5 -> 0.10.1Vincent Laporte2016-12-02
|
* ocamlPackages.fmt: init at 0.8.0Vincent Laporte2016-11-23
| | | | | | fmt is an OCaml library of Format pretty-printer combinators. Homepage: http://erratique.ch/software/fmt
* ocamlPackages.ocplib-simplex: init at 0.3Vincent Laporte2016-11-23
| | | | | | 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
* Merge pull request #20527 from sternenseemann/nottyJoachim F2016-11-21
|\ | | | | ocaml-notty: init at 0.1.1
| * ocaml-notty: init at 0.1.1sternenseemann2016-11-18
| |
* | Merge pull request #20528 from sternenseemann/tlsJoachim F2016-11-21
|\ \ | | | | | | ocaml-tls: init at 0.7.1
| * | ocaml-tls: init at 0.7.1sternenseemann2016-11-18
| |/
* | Merge pull request #20529 from sternenseemann/erm_xmppJoachim F2016-11-21
|\ \ | | | | | | ocaml-erm_xmpp_0_3: init at 0.3
| * | ocaml-erm_xmpp_0_3: init at 0.3sternenseemann2016-11-18
| |/
* / ocaml-otr: init at 0.3.3sternenseemann2016-11-18
|/
* ocaml-nocrypto: 0.5.1 -> 0.5.3sternenseemann2016-11-17
|
* Merge pull request #20188 from vbgl/clean-opamGraham Christensen2016-11-08
|\ | | | | We don’t need so many opam versions
| * opam: move out of ocamlPackagesVincent Laporte2016-11-05
| |
| * opam: remove 1.1Vincent Laporte2016-11-05
| |
| * opam: remove 1.0.0Vincent Laporte2016-11-05
| |
* | ocamlPackage.ppx_import: init at 1.1Théo Zimmermann2016-11-08
|/
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 11:38:06 +0000