cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
49824 commits 1 branch 0 tags 3.7 GiB
Commit graph

130 commits

Author SHA1 Message Date
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
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
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