nixpkgs/pkgs/development
Vincent Laporte 67a5833330 ocamlPackages.apron: init at 20160125
APRON is an OCaml library of numerical abstract domains

Homepage: http://apron.cri.ensmp.fr/library/
2017-01-14 09:34:34 +00:00
..
arduino teensyduino: init at 1.31 (#20807) 2016-12-02 11:31:01 +01:00
beam-modules hexRegistrySnapshot: d58a937 -> e5e494a 2016-11-30 12:16:21 +01:00
bower-modules/generic
compilers Merge pull request #21846 from peterhoeg/f/nim 2017-01-13 17:49:25 +00:00
coq-modules coqPackages.dpdgraph: 0.5 -> 0.6{,.1} 2017-01-12 21:23:18 +00:00
dotnet-modules/patches
eclipse/ecj Remove jdt-sdk 2016-11-03 21:12:39 -04:00
em-modules/generic
go-modules buildGoPackage: reduce the default meta.platforms 2016-12-14 10:26:20 +01:00
guile-modules
haskell-modules haskell.packages.ghc802: dontCheck vector-algorithms 2017-01-12 16:35:08 +01:00
idris-modules idrisPackages.httpclient: init 2016-12-20 00:28:23 +01:00
interpreters erlangR19: 19.1.6 -> 19.2 2017-01-11 01:43:56 -06:00
libraries jasper: 2.0.6 -> 2.0.10 for null pointer dereference 2017-01-11 20:11:30 -05:00
lisp-modules
lua-modules
misc loc: 0.3.3 -> 0.3.4 2016-12-08 09:59:47 -05:00
mobile android-sdk: 25.2.2 -> 25.2.3 2016-12-10 19:51:55 +09:00
node-packages node-env: use upstream version 2017-01-04 02:52:38 +03:00
ocaml-modules ocamlPackages.apron: init at 20160125 2017-01-14 09:34:34 +00:00
perl-modules perl-Compress-Raw-Zlib: try without testing for now 2017-01-08 14:31:55 +01:00
pharo
pure-modules
python-modules pyroute2: init at 0.4.12 2017-01-14 10:12:20 +01:00
qtcreator qtcreator: 4.1.0 -> 4.2.0 2016-12-29 22:32:23 +03:00
r-modules r-modules: fix snpStats package 2017-01-06 21:07:25 +01:00
ruby-modules bundler: 1.13.6 -> 1.13.7 2017-01-09 10:13:38 -08:00
tools camlidl: fix build with OCaml 4.03 2017-01-14 09:34:34 +00:00
web nodejs: add bash completions for npm 2016-12-11 15:14:38 +01:00