public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
119,440 Commits 1 Branch 0 Tags
43934459fa82b99abab5565fac537922aecf08ce
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 0ce1067b18 ocamlPackages.num: init at 1.1 2017-11-03 23:45:18 +00:00
Vincent Laporte 4f7c0aed38 ocaml: init at 4.06.0 2017-11-03 22:51:27 +00:00
Vincent Laporte 0eb284b351 alt-ergo: remove constraint on OCaml version 2017-11-03 19:44:20 +00:00
Vincent Laporte ee23541f89 ocamlPackages.ocaml_expat: 0.9.1 -> 1.0.0 2017-11-03 19:44:19 +00:00
Vincent Laporte 7e31aef88a ocamlPackages.lwt: remove spurious dependency on oasis 2017-11-01 16:58:08 +00:00
Vincent Laporte 33c0dcacd0 ocamlPackages.alcotest: 0.7.2 -> 0.8.1 2017-10-31 01:06:17 +00:00
Vincent Laporte 54d1e1412b ocamlPackages.lablgtk: 2.18.5 -> 2.18.6 2017-10-31 01:02:59 +00:00
Vincent Laporte dd0cdc2fb4 ocamlPackages.camlp5: 7.02 -> 7.03 2017-10-30 11:58:05 +00:00
Vincent Laporte 66b63d2f5a ocamlPackages.ocplib-endian: 0.8 -> 1.0 2017-10-26 00:38:55 +00:00
Vincent Laporte eecfa664c8 ocamlPackages.javalib: 2.3.4 -> 2.3.4 (sic) 2017-10-26 00:38:55 +00:00
Vincent Laporte 10fd7ccfde ocamlPackages.ppx_tools: init at 5.1+4.06.0 2017-10-26 00:38:54 +00:00
Vincent Laporte 43d3b9d74c jbuilder: 1.0+beta12 -> 1.0+beta14 2017-10-26 00:38:54 +00:00
Vincent Laporte 698894a50d ocamlPackages.wasm: 0.13 -> 1.0 2017-10-25 00:54:38 +00:00
Vincent Laporte 97d02a78f0 0ad: fix homepage URL 2017-10-22 22:19:28 +00:00
Vincent Laporte fe41e17631 ocamlPackages.merlin: fix homepage URL 2017-10-22 22:14:38 +00:00
Vincent Laporte 4ace0daa21 coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6 2017-10-22 20:48:18 +00:00
Vincent Laporte 97c5dfc55e ocamlPackages.yojson: 1.2.3 -> 1.3.3 2017-10-22 14:37:28 +00:00
Vincent Laporte 4e0a95294b gringo: use scons version 2 
Using version 3 breaks some OCaml packages (namely ppx_deriving_yojson).
 2017-10-22 13:25:46 +00:00
Vincent Laporte d6e423c400 ocamlPackages.merlin: 3.0.2 -> 3.0.3 2017-10-22 13:25:46 +00:00
Vincent Laporte 53f8adbc86 ocamlPackages.omd: 1.3.0 -> 1.3.1 2017-10-21 12:44:36 +00:00
Vincent Laporte bb6629977d ocamlPackages.zed: 1.4 -> 1.5 2017-10-21 10:54:49 +00:00
Vincent Laporte 68ed8f685b ocamlPackages.camomile: 0.8.5 -> 0.8.6 2017-10-20 07:19:13 +00:00
Vincent Laporte 1923cabeb4 ocamlPackages: default to 4.04 2017-10-19 17:57:14 +02:00
Vincent Laporte 43ebfb5016 coqPackages.flocq: 2.5.2 -> 2.6.0 2017-10-18 23:21:37 +00:00
Vincent Laporte b938811393 ocamlgraph: 1.8.7 -> 1.8.8 2017-10-18 19:08:16 +00:00
Vincent Laporte 34309999ed ocamlPackages.lablgtk: remove unused dependency to campl4 2017-10-18 18:27:06 +00:00
Vincent Laporte 644e3cb204 ocamlPackages.ocaml_pcre: 7.1.1 -> 7.2.3 2017-10-17 22:18:39 +00:00
Vincent Laporte 182b357c9d ocamlPackages.camlp5: 7.01 -> 7.02 2017-10-17 09:01:22 +02:00
Vincent Laporte 4cec2d6fb7 ocamlPackages.qtest: 2.6 -> 2.7 2017-10-16 07:02:03 +00:00
Vincent Laporte 4eb6e845f9 ocamlPackages.javalib: 2.3.3 -> 2.3.4 2017-10-15 08:31:37 +00:00
Vincent Laporte 415db05504 ocamlPackages.uuidm: 0.9.5 -> 0.9.6 2017-10-14 12:53:46 +00:00
Vincent Laporte c2758900a1 ocamlPackages.ansiterminal: 0.6.5 -> 0.7 2017-10-14 08:17:06 +00:00
Vincent Laporte 0bd108d2ce ocamlmod: 0.0.8 -> 0.0.9 2017-10-14 07:31:13 +00:00
Vincent Laporte cb61845c4a ocamlbuild: remove unused arguments 2017-10-14 06:40:21 +00:00
Vincent Laporte cdd3b97d15 camlp4: init at 4.06+1 2017-10-13 17:42:56 +00:00
Vincent Laporte 42541c4387 obliv-c: make explicit the ocamlbuild dependency 2017-10-12 06:01:24 +00:00
Vincent Laporte 00e27a2854 ocaml-gettext: dont strip 2017-10-12 05:35:26 +00:00
Vincent Laporte a0da5f3bcf hhvm: make explicit the dependency to ocamlbuild 2017-10-11 22:46:38 +00:00
Vincent Laporte f0b7ee37ef hevea: make explicit the dependency to ocamlbuild 2017-10-11 07:58:22 +00:00
Vincent Laporte 1529938fc3 cubicle: 1.0.2 -> 1.1.1 2017-10-11 07:38:27 +00:00
Vincent Laporte b9d276bf4c antlr4: enable more platforms 2017-10-10 07:21:58 +00:00
Vincent Laporte 28cd0f240a ocamlPackages.ppx_ast: 0.9.0 -> 0.9.{1,2} 2017-10-09 08:02:11 +00:00
Vincent Laporte 701316450c ocamlPackages.oasis: remove unneeded dependencies 2017-10-09 05:34:02 +00:00
Vincent Laporte 2870979a53 ocamlPackages.ounit: fix for OCaml 4.06 2017-10-09 05:34:02 +00:00
Vincent Laporte aa3535cee5 ocamlPackages.xmlm: 1.2.0 -> 1.3.0 2017-10-07 08:29:55 +00:00
Vincent Laporte 58906f359f ocamlPackages.lablgtk-extras: 1.5 -> 1.6 2017-10-07 08:29:55 +00:00
Vincent Laporte 5728b8d4e6 coqPackages.coquelicot: 2.1.2 -> 3.0.1 
coqPackages.interval: 3.1.1 -> 3.3.0
 2017-10-06 21:16:06 +00:00
Vincent Laporte cbf5307020 ocamlPackages.biniou: 1.0.9 -> 1.2.0 2017-10-06 21:16:06 +00:00
Vincent Laporte 4086a9cf45 ocamlPackages.pprint: 20140424 -> 20171003 2017-10-05 21:33:31 +00:00
Vincent Laporte 9e754a6f86 ocamlPackages.ssl: 0.5.3 -> 0.5.4 2017-10-05 17:09:50 +00:00
Vincent Laporte c06e5a8d64 ocamlPackages.react: 1.2.0 -> 1.2.1 2017-10-05 08:39:50 +00:00
Vincent Laporte 5b23d464a5 ocamlPackages.ocaml-migrate-parsetree: 1.0.4 -> 1.0.5 2017-10-04 07:54:28 +00:00
Vincent Laporte b831b243ff clp: init at 1.16.11 2017-09-28 13:33:36 +00:00
Vincent Laporte 3b7c68615e abella: fix build with OCaml ≥ 4.03 2017-09-22 03:32:06 +00:00
Vincent Laporte 1e9deaad66 ocamlPackages.csv: 1.7 -> 2.0 2017-09-20 05:39:12 +00:00
Vincent Laporte 2f70241e21 gtk+: 3.22.19 -> 3.22.21 2017-09-14 06:03:12 +00:00
Vincent Laporte cc5491d02c proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
Vincent Laporte b5c9a47b85 smplayer: 17.8.0 -> 17.9.0 2017-09-09 14:45:26 +02:00
Vincent Laporte 6e009edc41 aften: init at 0.0.8 
Aften is an audio encoder which generates compressed audio streams based on
ATSC A/52 specification. This type of audio is also known as AC-3 or Dolby®
Digital and is one of the audio codecs used in DVD-Video content.

Homepage: http://aften.sourceforge.net/
 2017-09-09 05:58:09 +02:00
Vincent Laporte ebd5c936fd ocamlPackages.cmdliner: make version 1.0 the default 2017-09-08 04:09:11 +00:00
Vincent Laporte e93d92d391 ocamlPackages.cmdliner: 1.0.0 -> 1.0.2 2017-09-08 03:00:27 +00:00
Vincent Laporte ebce795c5c coqPackages: remove duplication in mkCoqPackages 2017-09-04 02:39:49 +00:00
Vincent Laporte 4ee717d2d3 libvirt: fix build on darwin 2017-09-03 07:24:49 +00:00
Vincent Laporte 3c5436921e ocamlPackages.ptmap: 2.0.1 -> 2.0.2 2017-09-03 06:45:34 +00:00
Vincent Laporte 9b9d3743ce coqPackages.QuickChick: fix 
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy
with the corresponding versions of Coq.

Use a two month old version with Coq-8.6 to avoid issue #45:
https://github.com/QuickChick/QuickChick/issues/45
 2017-09-02 15:33:16 +00:00
Vincent Laporte 2a191ed853 ocamlPackages.ppx_deriving_yojson: mark as broken with OCaml 4.05 2017-08-30 02:33:23 +00:00
Vincent Laporte 8c506dfb64 ocamlPackages.posixat: mark as broken with OCaml 4.05 2017-08-30 02:28:56 +00:00
Vincent Laporte 1cae15edda lilypond-unstable: 2.19.24 -> 2.19.65 2017-08-28 19:55:42 +00:00
Vincent Laporte 724504e0da ocamlPackages.cohttp: 0.22.0 -> 0.99.0 
ocamlPackages.conduit: 0.15.4 -> 1.0.0

ocamlPackages.cohttp-lwt: init at 0.99.0

ocamlPackages.cohttp-lwt-unix: init at 0.99.0

ocamlPackages.conduit-lwt: init at 1.0.0

ocamlPackages.conduit-lwt-unix: init at 1.0.0

ocamlPackages.git: 1.11.1 -> 1.11.2
 2017-08-27 20:03:06 +00:00
Vincent Laporte 935e991b72 js_of_ocaml: 2.8.4 -> 3.0.0 
js_of_ocaml-camlp4: init at 3.0.0

js_of_ocaml-ppx: init at 3.0.0
 2017-08-27 14:55:12 +00:00
Vincent Laporte 4b1a1c1846 js_of_ocaml-ocamlbuild: init at 3.0.0 2017-08-27 14:36:25 +00:00
Vincent Laporte ef2c0f317a js_of_ocaml-compiler: move 2017-08-27 14:29:57 +00:00
Vincent Laporte 4c23d059f5 obelisk: fix hash 2017-08-27 10:20:41 +02:00
Vincent Laporte 460f640a5d ocamlPackages.fileutils: 0.5.1 -> 0.5.2 2017-08-27 10:03:00 +02:00
Vincent Laporte c4a156ed45 qarte: 3.2.0+158 -> 3.10.0+188 2017-08-27 10:03:00 +02:00
Vincent Laporte b07d148e1d obelisk: 0.2.0 -> 0.3.0 2017-08-27 06:56:35 +00:00
Vincent Laporte 0e9be66b7c globulation2: fix build 2017-08-26 15:57:01 +02:00
Vincent Laporte be5d898473 ppl: 1.1 -> 1.2 2017-08-26 13:58:35 +02:00
Vincent Laporte 96e1bca128 ocamlPackages.ocaml-migrate-parsetree: 1.0 -> 1.0.4 2017-08-25 19:27:19 +00:00
Vincent Laporte 77404dbf37 jbuilder: 1.0+beta7 -> 1.0+beta12 
ocamlPackages.sexplib: 0.9.1 -> 0.9.2

ocamlPackages.base: 0.9.1 -> 0.9.3

ocamlPackages.ppx_driver: 0.9.0 -> 0.9.1

ocamlPackages.bin_prot: 0.9.0 -> 0.9.1

ocamlPackages.ppx_inline_test: 0.9.0 -> 0.9.2
 2017-08-24 17:53:55 +00:00
Vincent Laporte 01495f3255 ocamlPackages.js_of_ocaml-compiler: init at 0.3.0 2017-08-24 17:49:05 +00:00
Vincent Laporte 6e200f2644 ocamlPackages.core: 0.9.0 -> 0.9.1 2017-08-23 20:22:00 +00:00
Vincent Laporte cf7df9230b ocamlPackages.ppx_derivers: init at 1.0 
Ppx_derivers is a tiny package whose sole purpose is to allow ppx_deriving and
ppx_type_conv to inter-operate gracefully when linked as part of the same
ocaml-migrate-parsetree driver.

Homepage: https://github.com/diml/ppx_derivers
 2017-08-23 20:22:00 +00:00
Vincent Laporte 9d4b711908 Revert "coq: default version is the one of coqPackages" 
This reverts commit 5f04a61d4f.

That way, the Coq that is used to build other coq packages
can be overridden.

The top-level `coq` attribute is `coqPackages.coq` thus both
“un-versioned” attributes are consistent.
 2017-08-23 08:25:49 +00:00
Vincent Laporte 09779623b4 ocamlPackages.qcheck: 0.6 -> 0.7 2017-08-22 05:53:22 +02:00
Vincent Laporte 2a62e931c1 ocamlPackages.qtest: 2.2 -> 2.6 
ocamlPackages.batteries: 2.6.0 -> 2.7.0
 2017-08-21 09:39:45 +02:00
Vincent Laporte b744ee2d93 ocamlPackages.ocamlnet: 4.1.{2,3} -> 4.1.4 2017-08-20 04:39:14 +00:00
Vincent Laporte 9074440f11 ocamlPackages.configurator: 0.9.0 -> 0.9.1 2017-08-12 09:46:59 +00:00
Vincent Laporte 6f9d84fe64 coqPackages.interval: fix URL 2017-08-11 16:29:14 +00:00
Vincent Laporte e60ffe642e ocamlPackages.ocamlnet: 4.1.2 -> 4.1.3 2017-08-08 16:49:19 +00:00
Vincent Laporte 82a4c5e38b ImageMagick: fix Magick-config 2017-08-08 17:07:54 +02:00
Vincent Laporte c7c24740a9 obelisk: fix hash 2017-08-05 13:29:00 +02:00
Vincent Laporte eb7312ca7d maxima: 5.39.0 -> 5.40.0 2017-08-05 10:48:50 +02:00
Vincent Laporte 53bd6cf417 ocamlPackages.ocamlnet: mark as broken with OCaml ≥ 4.05 2017-08-04 16:15:03 +00:00
Vincent Laporte 2a9ef2fafc ocamlPackages.cryptokit: 1.11 -> 1.13 2017-08-04 16:15:02 +00:00
Vincent Laporte ef7f980954 obelisk: init at 0.2.0 
Obelisk is a simple tool which produces pretty-printed output from a Menhir
parser file (.mly).

Homepage: https://github.com/Lelio-Brun/Obelisk
 2017-08-04 05:46:07 +00:00
Vincent Laporte 83d14b7b50 ocamlPackages.wasm: init at 0.13 
wasm is an OCaml library to read and write Web Assembly (wasm) files and
manipulate their AST.
 2017-08-04 05:36:58 +00:00
Vincent Laporte 90c9897ff6 ocamlPackages.ppx_deriving: mark as broken with OCaml ≥ 4.05 2017-08-04 05:36:58 +00:00
Vincent Laporte da378ce8ed ocamlPackages.process: init at 0.2.1 
process makes it easy to use commands like functions.

Homepage: https://github.com/dsheets/ocaml-process
 2017-08-04 05:36:57 +00:00
Vincent Laporte 2c6571fe12 ocamlPackages.git: 1.11.0 -> 1.11.1 2017-08-04 05:36:57 +00:00