about summary refs log tree commit diff
path: root/pkgs/top-level/ocaml-packages.nix
Commit message (Collapse)AuthorAge
* ocamlPackages.base64: 2.0.0 -> 3.2.0Vincent Laporte2019-04-06
| | | | Keep the legacy version under attribute `base64_2`
* hol_light: 2018-09-30 -> 2019-03-27Vincent Laporte2019-04-06
|
* ocamlPackages.cairo2: 0.5 -> 0.6 (#57965)Vincent Laporte2019-03-26
|
* dune: move into ocamlPackagesVincent Laporte2019-03-26
|
* lacaml: init at 11.0.3Cedric Cellier2019-03-24
|
* ocaml-syslog: init at 1.5Cedric Cellier2019-03-19
|
* ocamlPackages.stdlib-shims: init at 0.1.0Vincent Laporte2019-03-03
|
* ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4Vincent Laporte2019-02-22
|
* ocaml: init at 4.08.0+beta1Vincent Laporte2019-02-19
|
* ocamlPackages.eliom: 6.3.0 -> 6.4.0Vincent Laporte2019-02-03
|
* ocamlPackages.ocsigen_server: 2.9 -> 2.11Vincent Laporte2019-02-03
|
* ocamlPackages.lwt_camlp4: init at 20180325Vincent Laporte2019-02-03
|
* ocamlPackages.resource-pooling: init at 0.5.2Vincent Laporte2019-01-12
| | | | | | A library for pooling resources like connections, threads, or similar. Homepage: https://github.com/ocsigen/resource-pooling
* ocamlPackages: Use lib.makeScopepukkamustard2019-01-06
|
* ocamlPackages.ppxfind: init at 1.2Vincent Laporte2018-12-25
|
* ocamlPackages.csv-lwt: init at 2.2Vincent Laporte2018-12-24
|
* ocamlPackages.atdgen: init at 2.0.0Vincent Laporte2018-12-17
| | | | | | | | Atdgen is a command-line program that takes as input type definitions in the ATD syntax and produces OCaml code suitable for data serialization and deserialization. Homepage: https://github.com/mjambon/atd
* ocamlPackages.elina: init at 1.1Vincent Laporte2018-12-16
| | | | | | | ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagon and Zones for static analysis. homepage: http://elina.ethz.ch/
* ocamlPackages.lablgtk3: init at 3.0.beta1Vincent Laporte2018-12-13
|
* ocamlPackages.checkseum: init at 0.0.3Vincent Laporte2018-12-11
| | | | | | | | Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic Redundancy Check. It provides 2 implementation, the first in C and the second in OCaml. Homepage: https://github.com/mirage/checkseum
* ocamlPackages.optint: init at 0.0.2Vincent Laporte2018-12-11
| | | | | | | | This library provide one module Optint which internally uses an int if you are in a x64 architecture or an int32 (boxed value) if you are in a x86 architecture. Homepage: https://github.com/mirage/optint
* Merge pull request #51276 from nomeata/ocaml-bisectJörg Thalheim2018-12-02
|\ | | | | Add bisect_ppx and bisect_ppx-ocamlbuild
| * Add bisect_ppx and bisect_ppx-ocamlbuildJoachim Breitner2018-11-30
| |
* | ocamlPackages.opti: init at 1.0.3Magnus Jonsson2018-12-01
|/
* ocamlPackages.camlp5: 7.06 -> 7.07Vincent Laporte2018-11-21
| | | | Keeping the legacy (7.06) version around, needed by hol_light
* Merge pull request #49822 from marsam/feature/update-flowJörg Thalheim2018-11-07
|\ | | | | flow: 0.80.0 -> 0.85.0
| * ocamlPackages.visitors: init at 20171124Mario Rodas2018-11-06
| |
* | buildDunePackage: new support function; use it to refactor some OCaml ↵Théo Zimmermann2018-11-07
|/ | | | derivations
* verasco: remove unmaintained projectJörg Thalheim2018-10-30
| | | | | Verasco is no longer maintained by upstream and blocks updates of some libraries. Removing it also makes it possible to remove coq 8.4.
* ocamlPackages.menhir: 20170712 -> 20181026Vincent Laporte2018-10-28
|
* ocamlPackages.zmq: init at 20180726Mateusz Czapliński2018-10-22
|
* camlp5_transitional: remove in favor of camlp5 (strict)Théo Zimmermann2018-10-10
|
* ulex: remove version 0.8Théo Zimmermann2018-10-10
|
* matita: remove broken packageThéo Zimmermann2018-10-09
| | | | As requested by Vincent Laporte.
* ocamlPackages_3_12_1: removeThéo Zimmermann2018-10-08
|
* ocamlPackages_3_11_2: removeThéo Zimmermann2018-10-08
| | | | | | | | | | | | | | | | This requires removing also the Coq 8.3 and Matita 0.5.8 packages. Coq 8.3 was released 8 years ago (2010) and there is no trace left of users of this version (contrary to Coq 8.4, released 2012). It is well over time to remove it. Matita 0.5.8 was released in 2010 and because this version was still used for teaching according to the official website, a legacy release (0.5.9) was released in 5 years later to compile with more recent OCaml libraries. Updating to 0.5.9 (or a more recent version like 0.99.3) should allow getting rid of the dependency on older OCaml but it is hard to test given that the package is already broken before this update.
* ocamlPackages_3_10_0: removeThéo Zimmermann2018-10-08
|
* ocamlPackages_3_08_0: removeThéo Zimmermann2018-10-08
|
* camlp5: remove old version 5.15Théo Zimmermann2018-10-08
|
* ocamlPackages.ocaml_lwt: 3.3.0 -> 4.1.0Vincent Laporte2018-10-08
|
* hol_light: 2017-07-06 -> 2018-09-30Marco Maggesi2018-10-06
| | | | | Also handle compatibility with newer version of OCaml (depend on num library as needed).
* ocamlPackages.ezxmlm: init at 1.0.2Carlos D'Agostino2018-10-06
|
* ocamlPackages.elpi: init at 1.0.5Vincent Laporte2018-09-27
|
* ocamlPackages.odoc: init at 1.2.0Vincent Laporte2018-09-24
|
* ocamlPackages.doc-ock-xml: init at 1.2.1Vincent Laporte2018-09-24
|
* ocamlPackages.doc-ock-html: init at 1.2.1Vincent Laporte2018-09-24
|
* ocamlPackages.doc-ock: init at 1.2.1Vincent Laporte2018-09-24
|
* ocamlPackages.erm_xmpp: 0.3 -> 0.3+20180112Vincent Laporte2018-09-21
|
* ocamlPackages.seq: init at 0.1Vincent Laporte2018-09-05
|
* Merge pull request #45820 from ↵John Ericson2018-08-31
|\ | | | | | | | | obsidiansystems/dont-use-obsolete-platform-aliases treewide: Dont use obsolete platform aliases
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-05 10:20:15 +0000