public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
83,945 Commits 1 Branch 0 Tags
bd757c656e90b95bfbbee0feebeca8cb8e64c1c3
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte a42f845925 coq-dpdgraph: init at 0.5 2016-05-03 09:27:16 +02:00
Vincent Laporte 3a6c85da65 camlp5: 6.14 -> 6.16 2016-05-01 16:10:10 +02:00
Vincent Laporte 60a7c607d1 hol-light: fix build with camlp5-6.16 2016-05-01 16:10:09 +02:00
Vincent Laporte ce7181f9a8 smtube: fix build after qmakeHook 2016-04-29 07:21:31 +00:00
Vincent Laporte 5de3cfe210 smplayer: fix build after qmakeHook 2016-04-29 07:21:31 +00:00
Vincent Laporte 0452b58f0f gobject-introspection: fix on darwin 2016-04-28 18:36:09 +02:00
Vincent Laporte 71e0ce571b csdp: fix build on Darwin 
When the `INSTALL` file is present, `make` claims that the `install`
target is up-to-date.
 2016-04-22 11:53:43 +02:00
Vincent Laporte f3536f8ca0 cairo: build cairo-xlib even on Darwin 2016-04-19 18:06:53 +02:00
Vincent Laporte fdd2c6e2ca grass: fix build 2016-04-13 16:20:31 +00:00
Vincent Laporte 618b336808 coq-ext-lib: 0.9.0-beta3 -> 0.9.3 2016-04-12 19:43:49 +02:00
Vincent Laporte a036fda544 coq: 8.5 -> 8.5pl1 2016-04-12 19:43:11 +02:00
Vincent Laporte 30e17a9b71 ocamlPackages.cryptokit: 1.9 -> 1.10 2016-04-09 14:20:03 +02:00
Vincent Laporte d06dfe861d ocaml-text: 0.7.1 -> 0.8 2016-04-05 16:45:09 +00:00
Vincent Laporte 9dfa26d2ce why3: 0.86.3 -> 0.87.0 2016-04-05 08:09:00 +02:00
Vincent Laporte 13c6b9ba85 zim: 0.63 -> 0.65 2016-03-14 12:06:18 +01:00
Vincent Laporte 456d16ff4b verasco: init at 1.3 2016-03-14 12:06:18 +01:00
Vincent Laporte 014a30da93 why3: 0.86.2 -> 0.86.3 
And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).
 2016-03-04 09:29:10 +01:00
Vincent Laporte b219052bf1 menhir: 20151112 -> 20160303 2016-03-04 09:29:10 +01:00
Vincent Laporte c2a2c2ecd4 ltl2ba: fix build on darwin 2016-03-03 10:24:13 +01:00
Vincent Laporte b1801168e3 pixman: remove legacy patches 2016-02-29 19:14:41 +01:00
Vincent Laporte 694a5ba291 eprover: fix build on Darwin 2016-02-29 15:35:40 +01:00
Vincent Laporte ca535e4c1f SDL: propagate Cocoa dependency on darwin 2016-02-05 18:53:26 +01:00
Vincent Laporte 78eb1a076d cln: 1.3.3 -> 1.3.4 2016-02-03 10:08:26 +01:00
Vincent Laporte 4f8f5732fc smtube: 15.11.0 -> 16.1.0 2016-01-29 10:08:29 +01:00
Vincent Laporte ef8f074604 smplayer: 15.11.0 -> 16.1.0 2016-01-29 10:08:29 +01:00
Vincent Laporte c67c27dc82 pycairo: add darwin to meta.platforms 2016-01-28 11:02:26 +01:00
Vincent Laporte c0691a0659 compcert: 2.5 -> 2.6 2016-01-25 11:48:47 +01:00
Vincent Laporte 23fa59f08b ncmpcpp: 0.7 -> 0.7.2 2016-01-22 09:57:03 +01:00
Vincent Laporte 38226ea4c3 smtube: add missing build dependency 2016-01-15 10:04:06 +01:00
Vincent Laporte 32b8d31b3a gnumeric: 1.12.24 -> 1.12.26 2016-01-15 10:04:06 +01:00
Vincent Laporte 60e1740763 goffice: 0.10.24 -> 0.10.26 2016-01-15 10:04:06 +01:00
Vincent Laporte ca8ef0fa1d coq-interval: 2.1.0 -> 2.2.1 2016-01-06 09:35:05 +01:00
Vincent Laporte e182ddf008 coqPackages.coquelicot: init at 2.1.1 
Coquelicot is a Coq library for Reals.

Homepage: http://coquelicot.saclay.inria.fr/
 2016-01-06 09:13:38 +01:00
Vincent Laporte 2027caa875 coq-flocq: 2.5.0 -> 2.5.1 2016-01-04 23:37:40 +01:00
Vincent Laporte 3553258b1d Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" 
This reverts commit db9bc6875f.

That reverted commit had introduced a wrong URL.
 2016-01-04 23:37:40 +01:00
Vincent Laporte 7462d96a65 ssreflect, mathcomp: fix build 2016-01-04 23:37:40 +01:00
Vincent Laporte fde89b6762 alt-ergo: also supported on Darwin 2016-01-04 17:17:44 +01:00
Vincent Laporte 45f2447bd2 skrooge: 1.10.0 -> 1.12.5 2016-01-03 21:09:18 +01:00
Vincent Laporte 48e7eb65f2 ocaml-iso8601: init at 0.2.4 
OCaml library for ISO 8601 and RFC 3999 date parsing.

Homepage: http://sagotch.github.io/ISO8601.ml/
 2015-12-15 22:43:25 +01:00
Vincent Laporte 23efd0e617 ocaml-hex: 0.2.0 -> 1.0.0 2015-12-15 22:02:15 +01:00
Vincent Laporte 4a00e1793b ocaml-tuntap: init at 1.3.0 2015-12-15 21:57:54 +01:00
Vincent Laporte 038f4ce1d1 menhir: 20151110 -> 20151112 2015-12-15 21:36:57 +01:00
Vincent Laporte 680d909c97 ocaml-easy-format: 1.1.0 -> 1.2.0 2015-12-15 21:07:33 +01:00
Vincent Laporte db9a93f992 ocaml-batteries: 2.3.1 -> 2.4.0 2015-12-15 20:58:46 +01:00
Vincent Laporte 76940c5e4c ocaml-why3: init at 0.86.2 2015-12-10 09:31:27 +01:00
Vincent Laporte 0a745f5dd2 indilib: 1.0.0 -> 1.1.0 
Older source no longer available
 2015-12-04 23:36:48 +01:00
Vincent Laporte dc6b4e7fdd coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 2015-12-03 19:30:19 +01:00
Vincent Laporte 69b6125edf ocaml-dolog: 1.1 -> 3.0 2015-12-02 21:03:59 +01:00
Vincent Laporte a4a334bbe0 smtube: 15.9.0 -> 15.11.0 2015-12-02 19:46:23 +01:00
Vincent Laporte da4706f72a smplayer: 15.9.0 -> 15.11.0 2015-12-02 19:46:23 +01:00
Vincent Laporte 241914a8f7 ocaml-uucp: 0.9.1 -> 1.1.0 2015-12-02 19:46:23 +01:00
Vincent Laporte 38eb17c2e2 why3: 0.86.1 -> 0.86.2 2015-12-01 11:04:08 +01:00
Vincent Laporte 6528550a5f grass: 7.0.1 -> 7.0.2 2015-12-01 09:15:28 +01:00
Vincent Laporte 0b7fd5f621 ocaml-yojson: 1.1.8 -> 1.2.3 2015-11-30 18:07:36 +01:00
Vincent Laporte 2ccc9a8bd1 easy-format: 1.0.2 -> 1.1.0 2015-11-30 11:46:14 +01:00
Vincent Laporte 6a622acc87 merlin: 2.3 -> 2.3.1 2015-11-28 10:42:08 +01:00
Vincent Laporte a3fa690fa2 ocaml: add local copy of the ocamlbuild patch 2015-11-28 09:48:55 +01:00
Vincent Laporte 2bc3965bb7 coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3 2015-11-21 04:18:14 +01:00
Vincent Laporte 6cc033b99e menhir: refactor to generic; init at 20151110 for OCaml >= 4.02 2015-11-11 12:30:32 +01:00
Vincent Laporte 39e585b925 qgis: enable GRASS (close #9931) 2015-11-09 15:50:12 +01:00
Vincent Laporte 931b56bafc grass: 6.4.0RC6 -> 7.0.1 2015-11-09 15:50:12 +01:00
Vincent Laporte 080420676b csdp: does not require Atlas 2015-11-06 22:56:58 +01:00
Vincent Laporte a25d7d523e ocaml-csv: 1.4.1 -> 1.4.2 2015-10-30 06:03:50 +01:00
Vincent Laporte 7cb6dbc3d0 merlin: 2.2 -> 2.3 2015-10-29 21:35:41 +01:00
Vincent Laporte 2b7ded8d62 gnumeric: 1.12.23 -> 1.12.24 2015-10-29 21:35:41 +01:00
Vincent Laporte 32267c25ce qarte: 2.3.0 -> 2.4.0 2015-10-28 08:22:51 +01:00
Vincent Laporte f5c0d29c58 goffice: 0.10.22 -> 0.10.24 2015-10-21 04:43:16 +02:00
Vincent Laporte f88399fe20 ocaml-lwt: enable ppx 2015-10-20 21:53:12 +02:00
Vincent Laporte 62a7ba20c1 ocaml-ppx_tools: init at 0.99.2 
Tools for authors of ppx rewriters

Homepage: https://github.com/alainfrisch/ppx_tools
 2015-10-20 21:53:12 +02:00
Vincent Laporte 1df3f3b73a swiften: fix build 2015-10-20 07:13:18 +02:00
Vincent Laporte dd6a98b42a ocaml-x509: init at 0.4.0 
X.509 (RFC5280 and RFC6125) handling in OCaml.

Homepage: https://github.com/mirleft/ocaml-x509
 2015-10-18 00:13:16 +02:00
Vincent Laporte 4c95dc541b musescore: 2.0.1 -> 2.0.2 2015-10-17 05:43:06 +02:00
Vincent Laporte 620063af36 ocaml-llvm: init at 3.7.0 2015-10-16 13:28:54 +02:00
Vincent Laporte a222473b06 ocaml-ctypes: requires OCaml >= 4 2015-10-16 13:28:15 +02:00
Vincent Laporte e468b311bc eliom: requires OCaml >= 4 2015-10-15 00:29:33 +02:00
Vincent Laporte 37d731790b ocp-index: requires OCaml >= 4 2015-10-14 19:27:33 +02:00
Vincent Laporte 0da6fb5fa5 ocaml-cmdliner: 0.9.7 -> 0.9.8 2015-10-14 19:27:10 +02:00
Vincent Laporte 92e2e18fbb ocaml-ocp-indent: 1.4.2b -> 1.5.2 2015-10-14 19:26:38 +02:00
Vincent Laporte 621b66c3df js_of_ocaml: fix for OCaml < 4.0 2015-10-14 19:25:58 +02:00
Vincent Laporte c400e81b81 ocaml-alcotest: 0.3.2 -> 0.4.5 2015-10-13 06:14:25 +02:00
Vincent Laporte 4fa4f6f841 ocaml-gg: 0.9.0 -> 0.9.1 2015-10-13 06:14:25 +02:00
Vincent Laporte 0d2ae9c7e9 opa: fix dependency to nodejs-0_10 2015-10-10 10:01:52 +02:00
Vincent Laporte af21739688 ocaml-nocrypto: init at 0.5.1 
Simplest possible crypto to support TLS

Homepage: https://github.com/mirleft/ocaml-nocrypto
 2015-10-09 21:23:06 +02:00
Vincent Laporte 2702f01ee9 ocaml-twt: 0.93.2 -> 0.94.0 2015-10-04 01:17:33 +02:00
Vincent Laporte 9fa9c87485 ocaml: 4.02.2 -> 4.02.3 2015-10-03 08:26:42 +02:00
Vincent Laporte 67e38dfe23 ocaml: 4.02.1 -> 4.02.2 2015-10-03 08:26:42 +02:00
Vincent Laporte de84782ded ocaml-deriving: drop legacy package 2015-10-03 08:26:42 +02:00
Vincent Laporte a4db37c4e9 smplayer: 14.9.0.6690 -> 15.9.0 2015-10-02 19:31:05 +02:00
Vincent Laporte dad6e8d5d7 smtube: 15.8.0 -> 15.9.0 2015-10-01 08:54:00 +02:00
Vincent Laporte 6a238d4b3e coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2 2015-09-27 10:24:25 +02:00
Vincent Laporte 399a9da2ae camlp5: 6.12 -> 6.14 2015-09-23 19:05:02 +02:00
Vincent Laporte 9a1245280d hol_light: add support for camlp5 > 6.12 2015-09-23 19:04:51 +02:00
Vincent Laporte 2fe151a8d8 ocaml-fontconfig: init at 20131103 2015-09-19 18:27:14 +02:00
Vincent Laporte 34c59894a6 ocaml-mode: fix build for OCaml >= 4.02 2015-09-17 20:58:35 +02:00
Vincent Laporte fb09fca7b7 ocsigen-server: fix the bytecode server 
Dynamically loaded OCaml libraries are now properly found
 2015-09-17 20:58:35 +02:00
Vincent Laporte 47a7742c62 proj: 4.9.1 -> 4.9.2 2015-09-17 20:58:35 +02:00
Vincent Laporte 55004d509a ocaml-dolog: 1.0 -> 1.1 2015-09-14 20:07:21 +02:00
Vincent Laporte 1fff5d7aa2 wxpython: remove redundant attribute openglSupport 2015-09-06 15:01:47 +02:00
Vincent Laporte f6a875d5ae wxPython: refactor to generic 2015-09-05 16:36:36 +02:00
Vincent Laporte 9a0f8b5a4f wxPython-3: refactor 2015-09-05 11:11:19 +02:00