Jiri Marsik
50fccd0347
Added bolt-1.4
2014-10-28 14:03:14 +01:00
Jiri Marsik
c6fa8d0fd3
Added ansiterminal-0.6.5
2014-10-28 14:00:48 +01:00
Vincent Laporte
8320bbaaa3
ocaml-macaque: new package
...
MaCaQue (or macaque) is a DSL for SQL Queries in Caml.
Homepage: https://github.com/ocsigen/macaque
2014-10-11 00:54:35 +01:00
Vincent Laporte
33bba5f0b3
ocaml-pgocaml: new package
...
PG'OCaml provides an interface to PostgreSQL databases for OCaml
applications.
Homepage: http://pgocaml.forge.ocamlcore.org/
2014-10-11 00:49:50 +01:00
Vincent Laporte
cdf3dc2793
ocaml-reactivedata: new package
...
reactiveData is an OCaml module for functional reactive programming
(FRP) based on React.
Homepage: https://github.com/hhugo/reactiveData
2014-10-11 00:49:34 +01:00
Aristid Breitkreuz
26dd5dd6a4
Merge pull request #4460 from vbgl/zarith
...
zarith: update from 1.2.1 to 1.3
2014-10-10 22:51:08 +02:00
Vincent Laporte
977f172fee
ocaml-lablgl: adds missing dependency to camlp4
2014-10-10 17:00:30 +01:00
Vincent Laporte
35c92ec1ac
ocaml-http: adds missing dependency to camlp4
2014-10-10 17:00:30 +01:00
Vincent Laporte
7bfe6144c6
ocaml-data-notation: adds missing dependency to camlp4
2014-10-10 17:00:29 +01:00
Vincent Laporte
d99ea69225
zarith: update from 1.2.1 to 1.3
2014-10-10 14:47:33 +01:00
Aristid Breitkreuz
a01a64e5a4
Revert "ocamlPackages.twt: update from 0.93.2 to 0.931"
...
This reverts commit 684a9e22a1
2014-10-08 20:44:22 +02:00
Vincent Laporte
59a184824f
lablgtk: update 2.16.0 -> 2.18.2
2014-10-08 20:24:41 +02:00
Vincent Laporte
ef169ca69d
camlimages: fixes the spelling of propagatedBuildInputs
2014-10-08 20:23:30 +02:00
Vincent Laporte
7fd487018c
ocaml-lablgl: fixes the META file
2014-10-08 20:23:30 +02:00
Aristid Breitkreuz
684a9e22a1
ocamlPackages.twt: update from 0.93.2 to 0.931
2014-10-08 20:23:29 +02:00
Aristid Breitkreuz
e105c818c6
ocamlPackages.ocaml_ssl: update from 0.4.4 to 0.4.7
2014-10-08 20:23:29 +02:00
Aristid Breitkreuz
b9487dcd00
ocamlPackages.calendar: update from 2.03.2 to 2.5
2014-10-08 20:23:28 +02:00
Vincent Laporte
7adab7e25e
ocaml-tyxml: update 3.0.0 -> 3.1.1
2014-09-30 06:25:31 +02:00
Vincent Laporte
e9304fe039
ocaml-ipaddr: update 2.4.0 -> 2.5.0
2014-09-30 06:02:53 +02:00
Vincent Laporte
a97cf72a27
ocaml-sexplib: propagate the dependency to typeconv
...
And requires camlp4
2014-09-30 00:13:47 +02:00
Vincent Laporte
5e4cf92121
ocamlnet: update 3.7.3 -> 3.7.6
...
Closes #4216
2014-09-27 01:09:53 +01:00
Vincent Laporte
b9741719fa
Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for
...
OCaml4.02)
2014-09-23 20:48:50 +01:00
Vincent Laporte
d274ee3f80
Adds camlp4
...
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
2014-09-23 09:34:13 +01:00
Mateusz Kowalczyk
3d0832dbc8
ocaml-cairo: inherit platforms
2014-09-23 06:24:34 +01:00
Mateusz Kowalczyk
a21d58515b
ocaml-cairo: fix sha256
...
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.
2014-09-23 06:23:14 +01:00
Florent Becker
8e4a1aebdd
meta for ocamlPackages.eliom
2014-09-22 11:00:51 +02:00
Vincent Laporte
857c13e1af
Minor modifications of some ocaml packages:
...
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
2014-09-21 11:02:55 +01:00
Mateusz Kowalczyk
1e5452865b
Merge pull request #4061 from vbgl/mezzo
...
Adds mezzo and its dependencies
2014-09-20 23:38:47 +01:00
roconnor
bbd58db13a
Merge pull request #4133 from vbgl/coq-8-3
...
Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
2014-09-20 16:24:10 -04:00
Vincent Laporte
40e79043b0
mkOcamlPackages: simpler rule for lablgtk
2014-09-20 18:53:43 +01:00
Vladimír Čunát
c1c8d561b1
fix evaluation (bogus licenses in ocaml-modules)
2014-09-20 10:34:47 +02:00
Domen Kožar
9cad5e755f
Merge pull request #4170 from vbgl/ocaml-sexplib-camlp5
...
Updates ocaml-sexplib and ocaml-typeconv
2014-09-19 20:45:14 +02:00
Vincent Laporte
8febae5dfd
Updates ocaml-sexplib and ocaml-typeconv
...
Fixes OCaml / camlp5 version mismatch
2014-09-19 19:09:37 +01:00
Michael Raskin
a87e5507c0
More specific Ocsigen license checked by FlorentBecker
2014-09-18 14:42:54 +04:00
Vincent Laporte
d67588a5f1
Fixes coq-8.3: requires OCaml 3.12
2014-09-17 23:52:27 +01:00
Vincent Laporte
cc387fa886
Adds ocaml-functory
...
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/
2014-09-13 12:26:07 +02:00
Vincent Laporte
ed72590004
Adds ocaml-pprint
...
Pprint is an OCaml adaptation of Wadler’s and Leijen’s prettier printer.
Homepage: http://gallium.inria.fr/~fpottier/pprint/
2014-09-13 12:26:07 +02:00
Vincent Laporte
2f0994010a
Adds ocaml-fix
...
Fix is a simple OCaml module for computing the least solution of a system of monotone equations.
Homepage: http://gallium.inria.fr/~fpottier/fix/
2014-09-13 12:26:07 +02:00
Aristid Breitkreuz
8f30cabb83
fix ocsigen expression
2014-09-06 12:45:20 +02:00
Michael Raskin
9a9ecbf32d
A description cleanup after merge
2014-09-06 12:44:33 +04:00
Florent Becker
2709d32274
Add a derivation for eliom (ocaml web framework)
2014-09-06 12:44:33 +04:00
Florent Becker
e8250dd94a
Add a derivation for the ocsigen server (ocaml webserver)
2014-09-06 12:44:33 +04:00
Florent Becker
da6859722d
Add tyxml (XML library for ocaml)
2014-09-06 12:44:33 +04:00
Florent Becker
b5c621062d
add ocaml-ipaddr
2014-09-06 12:44:32 +04:00
Florent Becker
ffe02360dc
Add a derivation for deriving (ocaml instance derivation à la Haskell)
2014-09-06 12:44:32 +04:00
Florent Becker
6863dfeccc
Add a derivation for ocaml-optcomp
2014-09-06 12:44:32 +04:00
Florent Becker
2ca3c23ddc
Add a derivation for ocaml-calendar
2014-09-06 12:44:32 +04:00
Michael Raskin
316a4981b3
Merge pull request #3920 from vbgl/javalib-fix
...
ocaml-javalib, ocaml-sawja: removes wrong path to bash in configure scripts
2014-09-04 21:05:03 +04:00
Vincent Laporte
ebbd54e9f0
ocaml-javalib, ocaml-sawja: uses patchShebangs rather than ad-hoc patches
2014-09-03 21:59:29 +02:00
Vincent Laporte
b33b05a878
ocaml-twt: some fixes
2014-09-03 12:07:33 +02:00
