BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
191230 commits 1 branch 0 tags 3.8 GiB
Commit graph

323 commits

Author SHA1 Message Date
Vincent Laporte
e9edc7537a ocamlPackages.gmap: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte
d33df05f50 ocamlPackages.domain-name: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte
a86fe43558 ocamlPackages.lambdaTerm: remove at 1.6 2019-08-28 06:36:57 +00:00
Vincent Laporte
136f739184
ocamlPackages.uri-sexp: init at 3.0.0 2019-08-21 21:12:37 +00:00
Vincent Laporte
59cf0772c2 ocamlPackages.charInfo_width: init at 1.1.0 2019-08-21 05:07:46 +00:00
Vincent Laporte
af504e45b3 ocamlPackages.mmap: init at 1.1.0 
This project provides a Mmap.map_file function for mapping files in memory.
 2019-08-16 06:28:28 +00:00
Merlin Göttlinger
f6c363f81d
pgsolver: init at 4.1 2019-08-08 07:51:21 +00:00
Merlin Göttlinger
1559a3798a ocaml-sat-solvers: init at 0.4 (#66275) 2019-08-07 16:48:33 +00:00
Merlin Göttlinger
e5340bb5ef ocaml-minisat: init at 0.2 2019-08-07 13:45:31 +00:00
Vincent Laporte
b1d37354d7
Merge pull request #65715 from mgttlinger/build-oasis-package 
OCaml build support: add oasis build system
 2019-08-07 08:07:55 +00:00
Merlin Göttlinger
961b83a99d
Don't use buildOcaml 2019-08-06 17:54:09 +02:00
Merlin Göttlinger
d940b44137
tcslib: init at version v0.3 
build for tcslib as contribution as well as usage example for the new buildOasisPackage
 2019-08-04 18:16:16 +02:00
Vasiliy Yorkin
3aed444d57 ocamlPackages.secp256k1: init at 0.4.0 2019-08-02 16:01:53 +00:00
Sarah Brofeldt
28bf7ab6e6
Merge pull request #65516 from vbgl/ocaml-lambdasoup-0.6.3 
ocamlPackages.lambdasoup: init at 0.6.3
 2019-08-02 09:48:57 +02:00
Vincent Laporte
0d70d4a8b8 ocamlPackages.merlin_extend-0.3 -> merlin-extend-0.4 2019-08-02 06:32:51 +00:00
Vincent Laporte
bd9a7131a1
ocamlPackages.lambdasoup: init at 0.6.3 2019-08-02 06:31:12 +00:00
Merlin Göttlinger
2ea2643b13
OCaml build support: add oasis build system 2019-08-01 10:44:04 +02:00
Vincent Laporte
ca3f1c20d7 ocamlPackages.toml: init at 5.0.0 2019-07-30 16:18:39 +00:00
Vincent Laporte
d2c3c1f2bb ocaml-ng.ocamlPackages_4_08: 4.08.0+rc2 -> 4.08.0 2019-07-10 05:26:42 +00:00
Patrick Mahoney
e485b10d3e ocamlPackages.opium: init at 0.17.1 2019-07-07 08:15:39 +00:00
Patrick Mahoney
aa7fbe4d2e ocamlPackages.hmap: init at 0.8.1 2019-07-07 08:15:39 +00:00
José Romildo Malaquias
f0e7c5f569 ocamlPackages.printbox: init at 0.2 2019-06-20 07:29:55 +00:00
José Romildo Malaquias
b8495898df ocamlPackages.mdx: init at 1.4.0 2019-06-20 07:29:55 +00:00
Vincent Laporte
99fec0eeb3 ocamlPackages.bistro: init at 0.4.0 2019-06-20 07:29:20 +00:00
volth
f3282c8d1e treewide: remove unused variables (#63177) 
* treewide: remove unused variables

* making ofborg happy
 2019-06-16 19:59:05 +00:00
Vincent Laporte
3ca7fc10e8 ocamlPackages.earley: 1.0.2 -> 2.0.0 2019-05-29 08:29:09 +02:00
Vincent Laporte
eff7bc3f33 ocamlPackages.uri_1_9: remove at 1.9.6 2019-05-05 22:00:58 +02:00
Vincent Laporte
f38bf3ba4e ocamlPackages.bap: 1.4.0 -> 1.6.0 
libbap: 2018-03-01 -> 2019-04-05
 2019-05-05 22:00:58 +02:00
Vincent Laporte
61b53f4071 ocamlPackages.ojquery: remove at 0.1 2019-04-28 17:42:36 +02:00
Vincent Laporte
5e93a2f2d9
ocamlPackages.uri_1_9: add an attribute for version 1.9 2019-04-16 08:41:56 +00:00
Vincent Laporte
2dfc7524c6
ocamlPackages.cohttp: 1.1.1 -> 2.0.0 2019-04-07 20:11:18 +00:00
Vincent Laporte
905405eb72
ocamlPackages.uri: 1.9.6 -> 2.2.0 2019-04-07 20:11:13 +00:00
Vincent Laporte
3a10042c81
ocamlPackages.base64: 2.0.0 -> 3.2.0 
Keep the legacy version under attribute `base64_2`
 2019-04-06 13:24:16 +00:00
Vincent Laporte
50a03f8632 hol_light: 2018-09-30 -> 2019-03-27 2019-04-06 11:03:29 +02:00
Vincent Laporte
853b589f78
ocamlPackages.cairo2: 0.5 -> 0.6 (#57965) 2019-03-26 15:11:37 +01:00
Vincent Laporte
7a2426ca77 dune: move into ocamlPackages 2019-03-26 14:17:50 +01:00
Cedric Cellier
0206adc566 lacaml: init at 11.0.3 2019-03-24 19:37:47 +01:00
Cedric Cellier
913e33897c ocaml-syslog: init at 1.5 2019-03-19 09:31:12 +01:00
Vincent Laporte
93ce3df6b5 ocamlPackages.stdlib-shims: init at 0.1.0 2019-03-03 11:45:21 +01:00
Vincent Laporte
b275d09224 ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4 2019-02-22 13:00:04 +01:00
Vincent Laporte
1753b20648 ocaml: init at 4.08.0+beta1 2019-02-19 09:44:04 +01:00
Vincent Laporte
686f8a4710
ocamlPackages.eliom: 6.3.0 -> 6.4.0 2019-02-03 14:20:14 +00:00
Vincent Laporte
05350c0047
ocamlPackages.ocsigen_server: 2.9 -> 2.11 2019-02-03 14:20:13 +00:00
Vincent Laporte
d8a8de45d0
ocamlPackages.lwt_camlp4: init at 20180325 2019-02-03 14:20:11 +00:00
Vincent Laporte
db217a8aca ocamlPackages.resource-pooling: init at 0.5.2 
A library for pooling resources like connections, threads, or similar.

Homepage: https://github.com/ocsigen/resource-pooling
 2019-01-12 08:23:48 +00:00
pukkamustard
9211bcc7ea ocamlPackages: Use lib.makeScope 2019-01-06 11:20:08 +00:00
Vincent Laporte
d7f08cd90f ocamlPackages.ppxfind: init at 1.2 2018-12-25 10:43:41 +01:00
Vincent Laporte
daaba731a7 ocamlPackages.csv-lwt: init at 2.2 2018-12-24 14:57:07 +01:00
Vincent Laporte
6620de7594 ocamlPackages.atdgen: init at 2.0.0 
Atdgen is a command-line program that takes as input type definitions in the
ATD syntax and produces OCaml code suitable for data serialization and
deserialization.

Homepage: https://github.com/mjambon/atd
 2018-12-17 21:38:49 +00:00
Vincent Laporte
b6ca91fba5 ocamlPackages.elina: init at 1.1 
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
 2018-12-16 08:54:51 +00:00