public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
115,684 Commits 1 Branch 0 Tags
a4633ca5a352af8eb01e5db48cd597a09397a776
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Vincent Laporte aac6eef548 ocamlPackages.containers: 1.2 -> 1.3 2017-07-31 17:24:28 +00:00
Vincent Laporte 310e597d4a ocamlPackages.gen: 0.4 -> 0.4.0.1 2017-07-31 17:12:27 +00:00
Vincent Laporte 0f94ac9296 coqPackages.autosubst: fix hash 2017-07-28 06:45:31 +00:00
Vincent Laporte 01c8e4fe81 mplayer: adds dvdread support 2017-07-28 06:38:53 +00:00
Vincent Laporte b285b85754 ocamlPackages.ocaml-migrate-parsetree: 0.7 -> 1.0 2017-07-26 07:54:15 +00:00
Vincent Laporte efad0d5e3f julia: 0.5.1 -> 0.5.2 2017-07-25 07:46:20 +00:00
Vincent Laporte ace55359f1 gst_all_1.gst-libav: set meta.platforms to unix 2017-07-25 07:46:20 +00:00
Vincent Laporte 65b1613456 frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus) 2017-07-18 20:30:53 +02:00
Vincent Laporte b57bf746a1 ocaml-top: 1.1.3 -> 1.1.4 
ocamlPackages.ocp-build: 1.99.18-beta -> 1.99.19-beta
 2017-07-16 12:43:35 +02:00
Vincent Laporte 681f866e22 qgis: 2.18.4 -> 2.18.10 2017-07-15 19:32:38 +02:00
Vincent Laporte d30fc3be98 ocamlPackages.sedlex: 1.99.3 -> 1.99.4 2017-07-15 12:13:14 +00:00
Vincent Laporte 071693e5df matio: 1.5.9 -> 1.5.10 2017-07-15 11:49:52 +02:00
Vincent Laporte 0134709369 getdata: 0.9.4 -> 0.10.0 2017-07-15 11:39:56 +02:00
Vincent Laporte 08e0f106e3 gnumeric: 1.12.34 -> 1.12.35 
goffice: 0.10.34 -> 0.10.35
 2017-07-15 09:10:43 +02:00
Vincent Laporte 53a50dfa7a ocamlPackages.camomile: fix build for OCaml 4.05 2017-07-14 07:57:13 +02:00
Vincent Laporte bd7bf33814 ocaml: init at 4.05.0 2017-07-13 17:58:24 +00:00
Vincent Laporte 68ee2c6c30 gst-plugins-good: fix build on darwin 2017-07-13 17:40:21 +00:00
Vincent Laporte 247e772f35 libspectre: set meta.platforms to unix 2017-07-13 17:39:42 +00:00
Vincent Laporte 058f46cc13 libraw: set meta.platforms to unix 2017-07-13 17:39:42 +00:00
Vincent Laporte 8bafd3aaa4 ginac: 1.6.2 -> 1.7.2 2017-07-13 19:35:06 +02:00
Vincent Laporte ff965a59f5 scite: 3.7.3 -> 3.7.5 2017-07-12 22:11:36 +02:00
Vincent Laporte e47dcb9cef ocamlPackages.tsdl: 0.9.0 -> 0.9.4 2017-07-12 19:40:00 +00:00
Vincent Laporte 574f3c3bfe ocamlPackages.csv: 1.5 -> 1.7 2017-07-12 20:45:02 +02:00
Vincent Laporte 63cda55aa2 ocamlPackages.menhir: 20170418 -> 20170712 2017-07-12 18:13:33 +00:00
Vincent Laporte 5772d292d7 ocsigenserver: enable deflatemod extension 2017-07-12 18:13:32 +00:00
Vincent Laporte dd907450fe ocamlPackages.ctypes: 0.11.2 -> 0.11.5 2017-07-12 18:13:25 +00:00
Vincent Laporte 6a3a4f559b ocamlPackages.integers: init at 0.2.2 2017-07-12 18:11:40 +00:00
Vincent Laporte 1d7aefd585 ocamlPackages.fpath: 0.7.1 -> 0.7.2 2017-07-11 21:00:43 +00:00
Vincent Laporte 4a370d7fb9 ocamlPackages.fmt: 0.8.2 -> 0.8.4 2017-07-11 22:54:40 +02:00
Vincent Laporte 412da3210b ocamlPackages.oasis: remove 0.4.6 2017-07-11 02:46:32 +00:00
Vincent Laporte 3095a46bfc ocamlPackages.oasis: 0.4.7 -> 0.4.10 2017-07-11 03:40:07 +02:00
Vincent Laporte 73860eea0f ocamlPackages.result: 1.1 -> 1.2 2017-07-10 18:21:02 +00:00
Vincent Laporte c9468acdf4 ocamlPackages.ocaml-migrate-parsetree: requires OCaml ≥ 4.02 2017-07-10 20:18:48 +02:00
Vincent Laporte 79ddb5d5e0 ocamlPackages.topkg: requires OCaml ≥ 4.01 2017-07-10 20:18:48 +02:00
Vincent Laporte 3a227e673a mldonkey: 3.1.5 -> 3.1.6 2017-07-08 15:21:42 +02:00
Vincent Laporte 645f11b13d smplayer: 17.6.0 -> 17.7.0 2017-07-08 13:53:04 +02:00
Vincent Laporte 53e67781ec ocamlPackages.sedlex: fix name 2017-07-08 10:50:37 +00:00
Vincent Laporte 676156a658 obuild: fix build 2017-07-08 12:22:55 +02:00
Vincent Laporte ff24bf1fb6 ocaml: 4.04.1 -> 4.04.2 2017-07-08 12:22:55 +02:00
Vincent Laporte 9d52667536 ocamlPackages.qtest: requires OCaml ≥ 4 2017-07-08 12:22:55 +02:00
Vincent Laporte ec359a8286 ocamlPackages.sequence: 0.8 -> 0.10 2017-07-08 12:22:55 +02:00
Vincent Laporte eb2be6d97e acgtk: 1.1 -> 1.3.1 2017-07-08 08:52:02 +02:00
Vincent Laporte 4523f0251f ocamlPackages.bolt: fix for ocamlopt 2017-07-08 06:23:59 +00:00
Vincent Laporte cacc9faac7 camlPackages.camlp5: 6.17 -> 7.01 2017-07-08 06:14:43 +00:00
Vincent Laporte 43b2b55743 hol_light: 2016-07-23 -> 2017-07-06 2017-07-08 06:14:43 +00:00
Vincent Laporte 59ad9714f6 mono: 5.0.0.48 -> 5.0.1.1 2017-07-08 07:07:18 +02:00
Vincent Laporte 2521af87ad obuild: remove dependency on findlib 2017-07-05 18:05:09 +00:00
Vincent Laporte 8f106ead47 julia_05: disable tests on Darwin 2017-07-05 18:02:18 +00:00
Vincent Laporte f9a2866508 maude: set available on all Unix platforms 2017-07-05 17:29:13 +00:00
Vincent Laporte 75f47a5498 utf8proc: 2.0.2 -> 2.1.0 2017-07-04 10:31:14 +02:00
Vincent Laporte 91e8a6a9ff ocamlPackages.csv: 1.4.2 -> 1.5 2017-07-03 23:59:49 +02:00
Vincent Laporte 9f9ca26f28 ocamlPackages.lwt: requires OCaml ≥ 4.00 2017-07-03 23:59:49 +02:00
Vincent Laporte ba757e6a76 ocamlPackages.pgocaml: requires OCaml ≥ 4.00 2017-07-03 23:59:49 +02:00
Vincent Laporte 3beb47ff2a ocamlPackages.inotify: init at 2.3 
This package contains bindings for Linux's filesystem monitoring interface, inotify.

Homepage: https://github.com/whitequark/ocaml-inotify
 2017-07-02 17:28:53 +02:00
Vincent Laporte dbe61c96ae ocamlPackages: make lwt-3.0.0 the default 2017-07-02 15:22:04 +00:00