summary refs log tree commit diff
path: root/pkgs/top-level/ocaml-packages.nix
Commit message (Collapse)AuthorAge
* 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
| * reewide: Purge all uses `stdenv.system` and top-level `system`John Ericson2018-08-30
| | | | | | | | It is deprecated and will be removed after 18.09.
* | ocamlPackages: default to 4.06Vincent Laporte2018-08-29
| |
* | ocamlPackages.ocaml_extlib_maximal: remove at 1.7.5Vincent Laporte2018-08-29
|/
* atd: 1.12.0 -> 2.0.0 (#45046)Ivan Jager2018-08-15
| | | atdgen is now part of atd
* ocamlPackages.javalib: 2.3.4 -> 2.3.5 (#45016)Vincent Laporte2018-08-14
|
* stog: 0.17.0 -> 0.18.0Vincent Laporte2018-07-29
|
* ocamlPackages.labltk: init at 8.06 (#43963)Vincent Laporte2018-07-29
| | | | | | LablTk is an OCaml interface to the Tcl/Tk GUI framework. homepage: http://labltk.forge.ocamlcore.org/
* ocamlPackages.httpaf: init at 0.4.1Vincent Laporte2018-07-29
| | | | | | | http/af is a high-performance, memory-efficient, and scalable web server for OCaml. Homepage: https://github.com/inhabitedtype/httpaf
* ocamlPackages.bigstringaf: init at 0.3.0Vincent Laporte2018-07-29
| | | | | | Bigstring intrinsics and fast blits based on memcpy/memmove homepage: https://github.com/inhabitedtype/bigstringaf
* ocamlPackages.ppx_sqlexpr: init at 0.9.0Vincent Laporte2018-07-28
|
* ocamlPackages.ppx_gen_rec: init at 1.0.0Fatih Altinok2018-07-23
|
* ocaml-4.07: 4.07.0+rc1 -> 4.07.0Vincent Laporte2018-07-23
|
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
|
* Merge pull request #43440 from vbgl/ocaml-lwt_log-1.0.0xeji2018-07-14
|\ | | | | ocamlPackages.lwt_log: init at 1.0.0
| * ocamlPackages.lwt_log: init at 1.0.0Vincent Laporte2018-07-12
| |
* | ocamlPackages.ezjsonm: 0.4.3 -> 0.6.0Vincent Laporte2018-07-13
|/
* ocamlPackages.iri: init at 0.4.0Vincent Laporte2018-07-09
| | | | | | | iri is an OCaml implementation of Internationalized Resource Identifiers (IRIs). Homepage: https://framagit.org/zoggy/ocaml-iri
* ocamlPackages.janeStreet: 0.10 -> 0.11Vincent Laporte2018-07-05
|
* ocamlPackages.cmdliner: remove at 0.9.8Vincent Laporte2018-06-26
|
* ocamlPackages.ocp-indent: remove at 1.5.2Vincent Laporte2018-06-26
|
* ocamlPackages.ocp-index: use up-to-date ocp-indentVincent Laporte2018-06-26
|
* ocamlPackages.ocp-indent: fix attribute name (from ocpIndent)Vincent Laporte2018-06-26
|
* ocamlPackages.ocp-build: remove spurious dependency to camlp4Vincent Laporte2018-06-26
| | | | Change attribute name from “ocpBuild” to “ocp-build”.
* ocamlPackages.psmt2-frontend: init at 0.1Vincent Laporte2018-06-25
|
* ocamlPackages.linenoise: init at 1.1.0 (#41489)Vincent Laporte2018-06-05
|
* ocamlPackages.opam-file-format: init at 2.0.0-rc2 (#41164)Vincent Laporte2018-05-28
|
* Merge pull request #40884 from vbgl/ocaml-earley-ocamlSarah Brofeldt2018-05-24
|\ | | | | ocamlPackages.earley_ocaml: init at 1.0.2
| * ocamlPackages.earley_ocaml: init at 1.0.2Vincent Laporte2018-05-21
| |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-18 18:53:38 +0000