Jirka Marsik
257f629c1e
Added ocaml-cairo2-0.4.6
2014-10-31 14:14:17 +01:00
Peter Simons
b11060d8db
Merge remote-tracking branch 'origin/master' into staging.
2014-10-31 11:14:24 +01:00
Jirka Marsik
d9f0e16883
Added ocaml-vg-0.8.1
2014-10-29 21:15:50 +01:00
Jirka Marsik
0832152742
ocaml-uutf as propagatedBuildInput of ocaml-otfm
2014-10-29 20:50:27 +01:00
Jirka Marsik
d48dd17c5e
Added gg-0.9.0
2014-10-29 20:15:39 +01:00
Jirka Marsik
fc43239c56
Added ocaml-otfm-0.2.0
2014-10-29 19:35:23 +01:00
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
Florent Becker
10eb4786fd
Use propagatedBuildInputs in eliom
2014-10-19 18:48:40 +02:00
Florent Becker
8c9bbe00ac
Use opam to actually install eliom
2014-10-19 18:47:18 +02:00
Eelco Dolstra
09dc132e04
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/development/libraries/poppler/default.nix
2014-10-16 15:16:50 +02:00
Florent Becker
cfeb42b8eb
Adapt the derivation for the update of eliom to 4.1
2014-10-15 11:14:34 +02:00
Florent Becker
407c762f18
Make uutf a *propagated*BuildInput of ocamlPackages.tyxml
2014-10-15 11:13:04 +02:00
Florent Becker
bd8ce96ccb
Update eliom to 4.1.0
2014-10-14 13:18:08 +02:00
Florent Becker
cf5e915bde
Updgrade ocsigen-server to 2.5
2014-10-14 13:14:57 +02:00
Florent Becker
e8b24eb63e
update tyxml to version 3.3.0
2014-10-14 13:09:53 +02: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
Eelco Dolstra
a85dcf4a00
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/development/libraries/libav/default.nix
pkgs/shells/bash/bash-4.2-patches.nix
pkgs/stdenv/generic/default.nix
2014-10-07 00:09:37 +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
Eelco Dolstra
91ec6e0d90
Merge remote-tracking branch 'origin/master' into staging
2014-09-18 22:28:35 +02: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
Vladimír Čunát
82797f98f2
Merge branch 'staging' into modular-stdenv
...
Conflicts:
pkgs/development/interpreters/perl/5.10/setup-hook.sh
pkgs/development/interpreters/perl/5.8/setup-hook.sh
pkgs/stdenv/linux/default.nix
2014-09-08 18:24:58 +02:00
Vladimír Čunát
1e389c976c
merge 'staging' into modular-stdenv
...
In 2c62a36b77
the messages in pkgs/stdenv/generic/default.nix
were not merged correctly.
Conflicts:
pkgs/stdenv/generic/default.nix
2014-09-08 18:16:54 +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
Vincent Laporte
7d3706c788
Merge remote-tracking branch 'upstream/master' into ocaml-sqlite3EZ
...
Conflicts:
pkgs/top-level/all-packages.nix
2014-09-02 13:32:43 +02:00
Michael Raskin
f927e860f2
Merge pull request #3849 from vbgl/cmdliner
...
Adds ocaml-cmdliner
2014-09-02 02:14:19 +04:00
Michael Raskin
4e3ee27060
Merge pull request #3681 from vbgl/merlin-1.7
...
Merlin: update to 1.7
2014-09-02 02:07:27 +04:00
vbgl
624e98e78e
ocaml-javalib, ocaml-sawja: removes wrong path to bash in
...
configure scripts
2014-09-01 12:04:43 +02:00
Florent Becker
328469aa06
add the ocaml 'lambda-term' library (terminal control)
2014-08-30 19:37:15 +04:00
Florent Becker
edc11bc4f9
add the 'zed' ocaml editor library
2014-08-30 19:37:15 +04:00
Florent Becker
892490726c
Use propagated inputs in lwt
2014-08-30 19:37:15 +04:00
Florent Becker
7e2766d646
Update ocaml_lwt to version 2.4.5 (from git)
2014-08-30 19:37:15 +04:00
Florent Becker
337a3b8212
Update ocaml-react to 1.1.0
2014-08-30 19:37:15 +04:00
Florent Becker
618f439d2e
Add a derivation for ocaml-text
2014-08-30 19:37:15 +04:00
Vincent Laporte
23b9029455
Adds ocaml-cmdliner
...
Cmdliner is an OCaml module for the declarative definition of command
line interfaces.
Homepage: http://erratique.ch/software/cmdliner
2014-08-29 11:46:39 +02:00
Michael Raskin
2f0b2be1f2
Merge pull request #3632 from vbgl/ocaml-csv
...
Adds ocaml library “csv”
2014-08-23 13:04:52 +04:00
Vincent Laporte
f439cc7cf6
Adds javalib and sawja
...
Javalib is a library that parses Java .class files into OCaml data
structures. Sawja is a library written in OCaml, relying on Javalib to
provide a high level representation of Java bytecode programs.
Homepage: http://sawja.inria.fr/
2014-08-23 12:44:16 +04:00
Michael Raskin
d459b587e4
Merge pull request #3299 from vbgl/erratique-uu
...
Adds OCaml libraries: uucd, uunf, uutf and xmlm
2014-08-23 12:25:55 +04:00
Vincent Laporte
b8826951e4
Adds ocaml-sqlite3EZ and its dependency ocaml+twt
...
ocaml+twt is an alternative syntax for OCaml that uses indentation to group
multi-line expressions, like Python and Haskell.
Homepage: http://people.csail.mit.edu/mikelin/ocaml+twt/
sqlite3EZ is a thin wrapper for sqlite3-ocaml with a simplified interface. Query
results are processed with a functional map/fold, transactions are
aborted by exceptions, resource management is handled by the garbage
collector, etc.
Homepage: https://github.com/mlin/ocaml-sqlite3EZ
2014-08-21 15:36:52 +02:00
Vincent Laporte
559c7cc2da
yojson: propagate build inputs (as in PR #3404 )
2014-08-19 18:41:16 +02:00
Vincent Laporte
bce3730a3c
Adds ocaml library “csv”
...
This is a pure OCaml library to read and write CSV files, including all
extensions used by Excel — eg. quotes, newlines, 8 bit
characters in fields, "0 etc.
Homepage: https://forge.ocamlcore.org/projects/csv/
2014-08-17 00:55:32 +02:00
Vladimír Čunát
141b5d961f
Merge master into PR
...
Conflicts:
pkgs/development/compilers/ocaml/4.01.0.nix
2014-08-12 21:52:20 +02:00
Eelco Dolstra
e3f7dbbac8
Cleanup: Use += to append to envHooks
2014-08-09 12:47:05 +02:00
Peter Simons
2d326e5032
Merge remote-tracking branch 'origin/master' into staging.
...
Conflicts:
pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
Florent Becker
d1bbd569c9
Update ocaml-pcre to version 7.1.1
2014-07-21 10:56:51 +02:00
Vincent Laporte
64c6d0117d
Adds OCaml libraries: uucd, uunf, uutf and xmlm
...
Four OCaml libraries contributed by Daniel Bünzli for unicode and xml
processing.
- xmlm: Streaming XML codec for OCaml
- uutf: Non-blocking streaming Unicode codec for OCaml
- uunf: Unicode text normalization for OCaml
- uucd: Unicode character database decoder for Ocaml
Homepage: http://erratique.ch/software
2014-07-16 10:05:53 +02:00
Eelco Dolstra
95b828de42
Merge remote-tracking branch 'origin/master' into staging
2014-07-07 13:16:26 +02:00
Vincent Laporte
9256136635
Adds yojson.
...
Yojson is an optimized parsing and printing OCaml library for the JSON
format, contributed by Martin Jambon.
Webpage: http://mjambon.com/yojson.html
2014-07-05 09:00:12 +02:00
Vincent Laporte
e4216eddda
Clarifies the license; populates meta.platforms
2014-07-03 15:23:38 +02:00
Vincent Laporte
543f355883
Adds biniou
2014-07-03 11:09:47 +02:00
Eelco Dolstra
40f7b0f9df
Another attempt to eradicate ensureDir
...
See c556a6ea46
.
2014-06-30 14:56:10 +02:00
Vincent Laporte
b598497da9
Adds easy-format
2014-06-29 15:37:46 +02:00
Vladimír Čunát
35f47bcfd8
fix evaluation (wrong meta.maintainers field)
2014-06-09 19:12:17 +02:00
Pascal Wittmann
86b7cf8bb4
Added llpp, a mupdf based pdf pager written in ocaml.
...
Updated lablgl to 1.05 and mupdf to 1.4.
Added myself as maintainer for lablgl.
2014-06-04 22:15:06 +02:00
Austin Seipp
4fe2f98051
zarith: fix perl path
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 09:14:16 -05:00