about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules
Commit message (Collapse)AuthorAge
* Added bolt-1.4Jiri Marsik2014-10-28
|
* Added ansiterminal-0.6.5Jiri Marsik2014-10-28
|
* ocaml-macaque: new packageVincent Laporte2014-10-11
| | | | | | MaCaQue (or macaque) is a DSL for SQL Queries in Caml. Homepage: https://github.com/ocsigen/macaque
* ocaml-pgocaml: new packageVincent Laporte2014-10-11
| | | | | | | PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. Homepage: http://pgocaml.forge.ocamlcore.org/
* ocaml-reactivedata: new packageVincent Laporte2014-10-11
| | | | | | | reactiveData is an OCaml module for functional reactive programming (FRP) based on React. Homepage: https://github.com/hhugo/reactiveData
* Merge pull request #4460 from vbgl/zarithAristid Breitkreuz2014-10-10
|\ | | | | zarith: update from 1.2.1 to 1.3
| * zarith: update from 1.2.1 to 1.3Vincent Laporte2014-10-10
| |
* | ocaml-lablgl: adds missing dependency to camlp4Vincent Laporte2014-10-10
| |
* | ocaml-http: adds missing dependency to camlp4Vincent Laporte2014-10-10
| |
* | ocaml-data-notation: adds missing dependency to camlp4Vincent Laporte2014-10-10
|/
* Revert "ocamlPackages.twt: update from 0.93.2 to 0.931"Aristid Breitkreuz2014-10-08
| | | | This reverts commit 684a9e22a15cccbe3f4b3b3632520b4c59e6c877.
* lablgtk: update 2.16.0 -> 2.18.2Vincent Laporte2014-10-08
|
* camlimages: fixes the spelling of propagatedBuildInputsVincent Laporte2014-10-08
|
* ocaml-lablgl: fixes the META fileVincent Laporte2014-10-08
|
* ocamlPackages.twt: update from 0.93.2 to 0.931Aristid Breitkreuz2014-10-08
|
* ocamlPackages.ocaml_ssl: update from 0.4.4 to 0.4.7Aristid Breitkreuz2014-10-08
|
* ocamlPackages.calendar: update from 2.03.2 to 2.5Aristid Breitkreuz2014-10-08
|
* ocaml-tyxml: update 3.0.0 -> 3.1.1Vincent Laporte2014-09-30
|
* ocaml-ipaddr: update 2.4.0 -> 2.5.0Vincent Laporte2014-09-30
|
* ocaml-sexplib: propagate the dependency to typeconvVincent Laporte2014-09-30
| | | | And requires camlp4
* ocamlnet: update 3.7.3 -> 3.7.6Vincent Laporte2014-09-27
| | | | Closes #4216
* Fixes ocamlgraph (depends on camlp4) and prooftree (not ready forVincent Laporte2014-09-23
| | | | OCaml4.02)
* Adds camlp4Vincent Laporte2014-09-23
| | | | | | | | | | Camlp4 is a software system for writing extensible parsers for programming languages. Camlp4 was part of the official OCaml distribution until its version 4.01.0. Homepage: https://github.com/ocaml/camlp4
* ocaml-cairo: inherit platformsMateusz Kowalczyk2014-09-23
|
* ocaml-cairo: fix sha256Mateusz Kowalczyk2014-09-23
| | | | | | Seems that the original sha was just wrong but because Hydra doesn't build this and we appear to have had no OCaml users until very recently, no one noticed.
* meta for ocamlPackages.eliomFlorent Becker2014-09-22
|
* Minor modifications of some ocaml packages:Vincent Laporte2014-09-21
| | | | | | adds myself as a maintainer adds assertions to have evaluation errors rather than build errors moves opam out of ocamlPackages, as it does not provide a library
* Merge pull request #4061 from vbgl/mezzoMateusz Kowalczyk2014-09-20
|\ | | | | Adds mezzo and its dependencies
| * Adds ocaml-functoryVincent Laporte2014-09-13
| | | | | | | | | | | | | | Functory is a distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion. Further, it is polymorphic, incorporates a robust fault-tolerant mechanism and is already being deployed in real-world applications. Homepage: https://www.lri.fr/~filliatr/functory/
| * Adds ocaml-pprintVincent Laporte2014-09-13
| | | | | | | | | | | | Pprint is an OCaml adaptation of Wadler’s and Leijen’s prettier printer. Homepage: http://gallium.inria.fr/~fpottier/pprint/
| * Adds ocaml-fixVincent Laporte2014-09-13
| | | | | | | | | | | | Fix is a simple OCaml module for computing the least solution of a system of monotone equations. Homepage: http://gallium.inria.fr/~fpottier/fix/
* | Merge pull request #4133 from vbgl/coq-8-3roconnor2014-09-20
|\ \ | | | | | | Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
| * | mkOcamlPackages: simpler rule for lablgtkVincent Laporte2014-09-20
| | |
| * | Fixes coq-8.3: requires OCaml 3.12Vincent Laporte2014-09-17
| |/
* | fix evaluation (bogus licenses in ocaml-modules)Vladimír Čunát2014-09-20
| |
* | Merge pull request #4170 from vbgl/ocaml-sexplib-camlp5Domen Kožar2014-09-19
|\ \ | | | | | | Updates ocaml-sexplib and ocaml-typeconv
| * | Updates ocaml-sexplib and ocaml-typeconvVincent Laporte2014-09-19
| |/ | | | | | | Fixes OCaml / camlp5 version mismatch
* / More specific Ocsigen license checked by FlorentBeckerMichael Raskin2014-09-18
|/
* fix ocsigen expressionAristid Breitkreuz2014-09-06
|
* A description cleanup after mergeMichael Raskin2014-09-06
|
* Add a derivation for eliom (ocaml web framework)Florent Becker2014-09-06
|
* Add a derivation for the ocsigen server (ocaml webserver)Florent Becker2014-09-06
|
* Add tyxml (XML library for ocaml)Florent Becker2014-09-06
|
* add ocaml-ipaddrFlorent Becker2014-09-06
|
* Add a derivation for deriving (ocaml instance derivation à la Haskell)Florent Becker2014-09-06
|
* Add a derivation for ocaml-optcompFlorent Becker2014-09-06
|
* Add a derivation for ocaml-calendarFlorent Becker2014-09-06
|
* Merge pull request #3920 from vbgl/javalib-fixMichael Raskin2014-09-04
|\ | | | | ocaml-javalib, ocaml-sawja: removes wrong path to bash in configure scripts
| * ocaml-javalib, ocaml-sawja: uses patchShebangs rather than ad-hoc patchesVincent Laporte2014-09-03
| |
| * ocaml-javalib, ocaml-sawja: removes wrong path to bash invbgl2014-09-01
| | | | | | | | configure scripts