Vincent Laporte b6ca91fba5 ocamlPackages.elina: init at 1.1 ... ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagon and Zones for static analysis. homepage: http://elina.ethz.ch/		2018-12-16 08:54:51 +00:00
..
arduino	platformio: 3.6.1 -> 3.6.2	2018-12-11 16:37:07 +08:00
beam-modules
bower-modules/generic
compilers	Merge pull request #52146 from matthewbauer/readd-gcc-arm-embedded	2018-12-15 14:22:34 -06:00
coq-modules
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	haskell generic builder: Add flag to allow inconsistent dependencies.	2018-12-15 13:31:08 -05:00
idris-modules
interpreters	Merge pull request #52207 from r-ryantm/auto-update/love	2018-12-15 12:07:39 +00:00
java-modules
libraries	Merge pull request #51340 from dtzWill/update/gecode-6.1	2018-12-15 17:45:07 -06:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules	ocamlPackages.elina: init at 1.1	2018-12-16 08:54:51 +00:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.graph-tool: fix build (#52261)	2018-12-16 00:10:33 +01:00
r-modules	R: update CRAN package set	2018-12-12 11:17:25 -06:00
ruby-modules	bundlerEnv: always include default gems	2018-12-11 21:26:09 +00:00
tools	Merge pull request #49601 from dtzWill/update/gn-20181031	2018-12-15 09:35:10 -05:00
web