public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
149,424 Commits 1 Branch 0 Tags
f2bf4157f7fb200047845015f94de4911bf9183b
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte be989c7af4 ocamlPackages.javalib: 2.3.4 -> 2.3.5 (#45016) 2018-08-14 14:53:30 +02:00
Vincent Laporte 989292e3e1 ocamlPackages.ocaml_extlib: 1.7.4 -> 1.7.5 (#44736) 2018-08-14 00:59:32 +02:00
Vincent Laporte 805bc58d08 ocamlPackages.sequence: 0.10 -> 1.1 (#44628) 2018-08-07 21:28:46 +02:00
Vincent Laporte ec7865cddc compcert: 3.2 -> 3.3 (#44512) 2018-08-05 21:14:55 +02:00
Vincent Laporte f594caa052 ocamlPackages.lambdaTerm: 1.12.0 -> 1.13 (#44271) 2018-07-31 23:30:16 +02:00
Vincent Laporte 63b584395f camlp4: init at 4.07+1 (#44272) 2018-07-31 23:22:15 +02:00
Vincent Laporte 5bc007bbea ocamlPackages.jingoo: 1.2.7 -> 1.2.18 (#44106) 2018-07-29 21:18:09 +02:00
Vincent Laporte d6a60a7e91 ocamlPackages.labltk: init at 8.06 (#43963) 
LablTk is an OCaml interface to the Tcl/Tk GUI framework.

homepage: http://labltk.forge.ocamlcore.org/
 2018-07-29 08:35:35 +00:00
Vincent Laporte df6534d04a Merge pull request #43535 from vbgl/ocaml-js_of_ocaml-3.2.0 
ocamlPackages.js_of_ocaml: 3.1.0 -> 3.2.0
 2018-07-21 06:21:37 +00:00
Vincent Laporte 60629ce2c5 ocamlPackages.xtmpl: 0.16.0 -> 0.17.0 (#43304) 2018-07-11 01:13:01 +02:00
Vincent Laporte 5d3a2b946d ocamlPackages.ocaml-migrate-parsetree: 1.0.7 -> 1.0.11 (#42829) 2018-07-05 10:50:50 +02:00
Vincent Laporte fcd93f9e07 ocamlPackages.zarith: 1.4.1 -> 1.7 (#42886) 2018-07-05 10:49:58 +02:00
Vincent Laporte b96c0e6d7b ocaml-top: 1.1.4 -> 1.1.5 (#42664) 2018-06-27 21:02:47 +02:00
Vincent Laporte 8ed38fc722 ocamlPackages.cppo: 1.5.0 -> 1.6.4 (#42342) 2018-06-25 00:47:53 +02:00
Vincent Laporte f3a155e656 ocamlPackages.merlin: 3.0.5 -> 3.1.0 (#42386) 2018-06-25 00:19:58 +02:00
Vincent Laporte f73859a068 ocaml: 4.07.0+beta2 -> 4.07.0+rc1 (#42257) 2018-06-24 19:43:04 +02:00
Vincent Laporte 6c426745b4 ocamlPackages.functory: 0.5 -> 0.6 (#41596) 2018-06-06 22:18:11 +02:00
Vincent Laporte 999871400b ocamlPackages.linenoise: init at 1.1.0 (#41489) 2018-06-05 20:29:00 +02:00
Vincent Laporte 33a418e2e6 opaline: init at 0.3.1 (#41346) 
Opaline is a lightweight replacement for opam-installer.

Homepage: https://github.com/jaapb/opaline
 2018-06-01 21:29:53 +02:00
Vincent Laporte 0b1823ff84 gnome2.gtksourceview: fix build on darwin (#41353) 2018-06-01 20:56:40 +02:00
Vincent Laporte 44659fcbe1 coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351) 2018-06-01 19:31:02 +02:00
Vincent Laporte 5509528c2c ocamlPackages.opam-file-format: init at 2.0.0-rc2 (#41164) 2018-05-28 23:33:00 +02:00
Vincent Laporte cc2ac8a39e ocamlPackages.imagelib: init at 20171028 (#40910) 2018-05-23 10:33:26 +02:00
Vincent Laporte 042790832e coqPackages.tlc: 20171206 -> 20180316 (#40927) 2018-05-22 20:55:57 +02:00
Vincent Laporte 571a1e19e9 coqPackages.iris: init at 3.1.0 (#40909) 2018-05-22 19:26:32 +02:00
Vincent Laporte 0d319657ef ocamlPackages.earley: init at 1.0.2 (#40755) 2018-05-19 23:01:40 +02:00
Vincent Laporte 6131989a7d ocamlPackages.bitstring: 2.1.1 -> 3.0.0 (#40034) 2018-05-13 17:28:22 +02:00
Vincent Laporte d79e9d3e16 Merge pull request #39656 from vbgl/ocsigen_server-2.9 
ocsigen: 2.8 → 2.9; eliom: 6.2.0 → 6.3.0
 2018-05-06 11:16:40 +02:00
Vincent Laporte 5f82c322d6 eff: 20140928 -> 5.0 (#39264) 2018-04-23 08:16:03 +01:00
Vincent Laporte 4345a2cef2 Merge pull request #36445 from maximedenes/sphinxcontrib_bibtex 
Sphinxcontrib bibtex
 2018-03-09 07:53:14 +01:00
Vincent Laporte 0e23b529cc Merge pull request #35439 from mt-caret/janestreet-0.10.0 
janeStreet: 0.9.0 -> 0.10.0
 2018-03-07 09:06:32 +01:00
Vincent Laporte 550136f516 ocamlPackages.asn1-combinators: 0.1.3 -> 0.2.0 (#33566) 
* ocamlPackages.asn1-combinators: 0.1.3 -> 0.2.0

* ocamlPackages.x509: 0.5.3 -> 0.6.0

* ocamlPackages.x509: 0.6.0 -> 0.6.1

* ocamlPackages.tls: 0.7.1 -> 0.9.0

* jackline: fix build with ocaml-tls ≥ 0.9.0
 2018-01-15 05:01:50 +01:00
Vincent Laporte 5391489cfc ocamlPackages.git: 1.11.2 -> 1.11.4 (#33472) 2018-01-06 17:18:42 +00:00
Vincent Laporte e3d363546a Merge pull request #32585 from vbgl/ocaml-lru-0.2.0 
Add OCaml libraries: psq, lru, faraday, farfadet, digestif
 2017-12-23 09:29:16 +01:00
Vincent Laporte 58e67c3dc0 coqPackages.equations: 1.0-beta -> 1.0 (#32771) 2017-12-21 20:20:27 +01:00
Vincent Laporte b4551924b1 Merge pull request #32737 from vbgl/coq-packages-filter 
Tidy up the Coq package sets
 2017-12-19 10:15:31 +01:00
Vincent Laporte b212125b54 Merge pull request #32250 from vbgl/coq-clean 
coq_HEAD, coqPackages_8_4: remove
 2017-12-11 18:13:24 +01:00
Vincent Laporte d98d944d5d Merge pull request #32494 from mpickering/ber-metaocaml2 
ber_metaocaml: (re)init at 104
 2017-12-10 12:36:30 +01:00
vbgl fcfeda5544 Merge pull request #30206 from romildo/upd.mkvtoolnix 
mkvtoolnix: 15.0.0 -> 16.0.0;  libmatroska: 1.4.7 -> 1.4.8
 2017-10-14 21:48:44 +02:00
vbgl c17ddcd40c Merge pull request #25412 from romildo/fix.efl 
{terminology,ephoto,rage,econnman}: wrap libcurl.so in LD_LIBRARY_PATH
 2017-07-18 21:30:38 +02:00
vbgl c73355506a Merge pull request #26286 from romildo/fix.cmdliner 
Keep older versions of cmdliner and ocp-indent
 2017-06-02 19:04:12 +02:00
vbgl cef420bd61 cgal: fix typo in license 2017-03-11 06:49:31 +00:00
vbgl d31577cfd3 Merge pull request #22871 from FlorentBecker/default_ocaml_402 
Default ocaml 402
 2017-02-19 15:54:54 +01:00
vbgl 635ac15845 Merge pull request #21879 from vbgl/coq-clean 
Coq: minor refactoring
 2017-01-25 14:05:38 +01:00
vbgl 664d1d6dc9 Merge pull request #21261 from vbgl/uutf-1.0.0 
Eliom 6 and various OCaml package updates
 2017-01-21 20:23:28 +01:00
vbgl 44234570ec Merge pull request #20867 from vbgl/omake-0.10.1 
omake: update to 0.10.1
 2016-12-09 21:49:21 +00:00
vbgl 376973a1bb Merge pull request #20404 from vbgl/alcotest-0.7.0 
ocamlPackages.alcotest: 0.4.5 -> 0.7.2
 2016-11-26 16:17:32 +01:00
vbgl 7f241baaaf Merge pull request #19902 from dtzWill/update/yices 
yices: 2.3.1 -> 2.5.1
 2016-10-31 09:35:21 +01:00
vbgl 30107249b1 Merge pull request #17973 from vbgl/mpv-darwin 
mpv: fix on darwin
 2016-09-12 15:13:40 +02:00
vbgl d271db550e ocp-build: 1.99.9-beta -> 1.99.16-beta (#15553) 2016-07-22 09:46:40 +02:00
vbgl d7cfdc581c coq: 8.5pl1 -> 8.5pl2 (#16863) 2016-07-18 11:33:51 +02:00
vbgl a2ac3683ce camlzip: 1.05 -> 1.06 (#16443) 2016-07-07 15:29:13 +02:00
vbgl 0a4e806f8f ocamlnet: 3.7.7 -> 4.1.1 (#16008) 2016-06-08 16:40:08 +01:00
vbgl c3b791f15b Merge pull request #15833 from FlorentBecker/eliom5 
Update the Eliom ecosystem to 2016-01
 2016-06-04 14:08:19 +02:00
vbgl 8ff2d76f7a Merge pull request #15924 from wizeman/u/ocaml-sqlexpr 
Add ocamlPackages.sqlexpr and ocamlPackages.estring
 2016-06-02 18:09:38 +02:00
vbgl 15c9a0054c Merge pull request #15859 from mbakke/feh-2.15.4 
feh: 2.15.2 -> 2.15.4
 2016-05-31 14:46:58 +02:00
vbgl 2d72723726 ocaml-batteries: 2.4.0 -> 2.5.2 (#15424) 2016-05-13 18:08:17 +02:00
vbgl 2c021bdbba ocaml-oasis: 0.4.5 -> 0.4.6 (#15209) 2016-05-04 19:12:20 +02:00
vbgl a95df7d800 Merge pull request #15106 from vbgl/camlp5-6.16 
camlp5: 6.14 -> 6.16
 2016-05-03 12:56:16 +02:00
vbgl f53e097b01 Merge pull request #14826 from vbgl/cairo-xlib-on-darwin 
cairo: build cairo-xlib even on Darwin
 2016-04-21 10:48:47 +02:00
vbgl df681cda9a Merge pull request #14705 from acowley/qt4-darwin 
qt4.8: darwin compatibility
 2016-04-20 11:25:55 +02:00
vbgl c7b5cfc7d2 Merge pull request #14648 from nico202/ncmpcpp 
ncmpcpp: 0.7.2 -> 0.7.3
 2016-04-13 09:45:34 +02:00
vbgl f1beff232d Merge pull request #14357 from acowley/log4cxx 
log4cxx: darwin compatibility
 2016-04-01 11:26:00 +02:00
vbgl 149b9faac0 Merge pull request #14323 from nathan7/fsharp-4.0.1.1 
fsharp: 4.0.0.4 -> 4.0.1.1
 2016-03-31 11:43:13 +02:00
vbgl 9bb2dd5e10 Merge pull request #14109 from zimbatm/scribus-1.4.6 
scribus: 1.4.5 -> 1.4.6
 2016-03-22 12:32:03 +01:00
vbgl dfe69e2f4f Merge pull request #13580 from matthewbauer/openal-darwin 
openal darwin fixes
 2016-03-02 19:35:21 +01:00
vbgl 7f422cf872 Merge pull request #13621 from DamienCassou/add-gentium-book-basic 
gentium-book-basic: init at 1.102
 2016-03-02 19:20:58 +01:00
vbgl a99715c83b Merge pull request #13378 from wizeman/u/ocaml-packages2 
ocamlPackages: add tsdl and result
 2016-03-01 10:05:31 +01:00
vbgl d39595c54f Merge pull request #13404 from knedlsepp/fix-darwin-tcl-tk 
Fix darwin tcl tk
 2016-02-26 11:38:26 +01:00
vbgl a15f7c018e Merge pull request #13129 from bzizou/gdal-netcdf 
gdal-netcdf: GDAL with netCDF format support
 2016-02-24 12:23:28 +01:00
vbgl b05708ba0e Merge pull request #12741 from regnat/ocamlUpdates 
ocamlPackages.findlib: 1.5.3 -> 1.6.1
 2016-02-24 12:00:25 +01:00
vbgl 4d767deaf5 Merge pull request #13372 from knedlsepp/proj-on-darwin 
proj: Add platforms.darwin and enable doCheck.
 2016-02-22 19:29:21 +01:00
vbgl 5ed9176c52 Merge pull request #13077 from wizeman/u/ocaml-packages 
Add ocamlPackages.{gen,sequence,containers}
 2016-02-19 18:14:47 +01:00
vbgl 7a0f171584 Merge pull request #13037 from valeriangalliat/omake/new-source 
Fix OMake source URL
 2016-02-16 16:49:46 +01:00
vbgl c9be67a331 Merge pull request #12930 from taku0/libao_darwin 
libao: add dependencies for Darwin frameworks
 2016-02-11 09:55:37 +01:00
vbgl e89384aad0 Merge pull request #12669 from mogorman/platformio 
platformio: 2.7.1 -> 2.8.1
 2016-01-29 17:36:09 +01:00
vbgl 5b153a1c2c Merge pull request #12617 from pmahoney/darwin-mono 
Get mono building on darwin
 2016-01-27 14:27:44 +01:00
vbgl 877d9af793 Merge pull request #12451 from eduarrrd/photoqt 
photoqt: fix breakage from qt infrastucture transition
 2016-01-18 09:56:01 +01:00
vbgl c23b0856fd Merge pull request #12064 from FlorentBecker/eliom42 
Eliom42
 2016-01-18 09:32:48 +01:00
vbgl 81996579a9 Merge pull request #12186 from FlorentBecker/pcre_buildOcaml 
ocaml-pcre: use buildOcaml
 2016-01-10 11:37:45 +01:00
vbgl 3ebd2df8dd Merge pull request #11630 from lancelotsix/update_xorriso 
pkgs.xorriso: 1.4.0 -> 1.4.2
 2015-12-15 22:52:15 +01:00
vbgl 251479f892 Merge pull request #11113 from lancelotsix/update_gsl 
gsl: 1.16 -> 2.1
 2015-12-11 02:05:56 +01:00
vbgl 33292cd618 Merge pull request #11225 from michelk/saga/update 
saga: 2.2.1 -> 2.2.2
 2015-11-23 18:30:44 +01:00
vbgl eae62caf91 Merge pull request #11162 from anderslundstedt/updateyoutube-dl 
youtube-dl: 2015.11.13 -> 2015.11.19
 2015-11-20 19:21:00 +01:00
vbgl 204685be82 Merge pull request #11024 from osener/closure-compiler-20151015 
closure-compiler: 20150609 -> 20151015
 2015-11-19 08:53:09 +01:00
vbgl 58d0a1ca40 Merge pull request #11112 from frlan/Update/Geany/1.26 
geany: 1.25 -> 1.26
 2015-11-18 09:23:05 +01:00
vbgl c14eca68a4 Merge pull request #10965 from sjourdois/cgal 
cgal: 4.6.1 -> 4.7
 2015-11-13 00:07:04 +01:00
vbgl b3d2a2874a Merge pull request #10964 from vbgl/master 
menhir: refactor to generic; init at 20151110 for OCaml >= 4.02
 2015-11-12 01:15:26 +01:00
vbgl 1e39eb4e00 Merge pull request #10954 from anderslundstedt/youtube-dl_20151110 
youtube-dl: 2015.10.24 -> 2015.11.10
 2015-11-11 12:28:33 +01:00
vbgl 6fa6ff9e25 Merge pull request #10899 from krgn/update-mono 
update mono to 4.0.4.1
 2015-11-08 23:29:35 +01:00
vbgl 81e78face8 Merge pull request #10776 from manveru/di 
di: 4.35 -> 4.36
 2015-11-05 10:33:08 +01:00
vbgl 343de3b64a Merge pull request #10637 from vbgl/ppx 
ocaml-ppx_tools: init at 0.99.2
 2015-11-04 23:16:54 +01:00
vbgl f9e681e09e Merge pull request #10802 from michelk/gdal/update2 
gdal: 2.0.0 -> 2.0.1
 2015-11-04 00:37:15 +01:00
vbgl 95388b6500 Merge pull request #10801 from michelk/gdal/update 
gdal: 1.11.2 -> 1.11.3
 2015-11-03 22:56:36 +01:00
vbgl 0ad5dc11e1 Merge pull request #10499 from jb55/fix-lmdb-osx 
lmdb: fix build on OSX
 2015-10-28 12:34:55 +01:00
vbgl a6c3837e39 Merge pull request #10495 from lancelotsix/update_gnu_units 
pkgs.units: 2.11 -> 2.12
 2015-10-20 10:37:18 +02:00
vbgl d43a1125c3 Merge pull request #10333 from rnhmjoj/pyquery 
pyquery: 1.2.4 -> 1.2.9
 2015-10-19 00:17:18 +02:00
vbgl ed5ec7d138 Merge pull request #10332 from rnhmjoj/cssselect 
cssselect: 0.7.1 -> 0.9.1
 2015-10-18 00:52:07 +02:00
vbgl d21347a919 Merge pull request #10342 from michelk/saga/update 
saga: 2.2.0 -> 2.2.1
 2015-10-12 09:46:42 +02:00
vbgl 055f08dcf9 Merge pull request #10311 from expipiplus1/bump-neovim-version 
neovim: 2015-06-09 -> 2015-10-08
 2015-10-11 08:39:46 +02:00