JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2b3dda6c51
nixpkgs/pkgs/top-level
History
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
..
aliases.nix Merge master into staging-next 2018-12-07 15:22:35 +01:00
all-packages.nix Merge pull request #51340 from dtzWill/update/gecode-6.1 2018-12-15 17:45:07 -06:00
beam-packages.nix beam-packages: default erlangR19 -> erlangR20 2018-08-07 23:27:41 +02:00
coq-packages.nix coqPackages.simple-io: init at 0.2 2018-12-10 15:35:34 +00:00
darwin-packages.nix darwin.trash: add cf-private 2018-11-07 19:15:43 +01:00
default.nix stdenv: implement crossOverlays 2018-12-13 14:04:33 -05:00
dotnet-packages.nix dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) 2018-10-31 21:04:31 +01:00
emacs-packages.nix elpy: fix build dep 2018-09-09 17:14:59 +02:00
emscripten-packages.nix Emscripten 1.37.16 to 1.37.36 (#37291) 2018-03-18 13:34:46 +01:00
haskell-packages.nix ghc: add new compiler version 8.6.3 2018-12-08 11:46:20 +01:00
haxe-packages.nix pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
impure.nix impure.nix: fix handling of localSystem 2018-06-25 17:13:02 -04:00
java-packages.nix pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
lua-packages.nix gobject-introspection: rename package 2018-12-02 12:42:29 +01:00
make-tarball.nix tarball job: more --show-trace 2018-09-03 14:24:42 +02:00
metrics.nix metrics.nix: add a metrick for the current number of packages as seen by nix-env 2018-11-17 10:24:46 +00:00
ocaml-packages.nix ocamlPackages.elina: init at 1.1 2018-12-16 08:54:51 +00:00
perl-packages.nix strip-nondeterminism: 0.016 -> 1.0.0 2018-12-12 14:38:13 +01:00
php-packages.nix phpPackages.couchbase: 2.3.4 -> 2.6.0 2018-12-11 20:11:36 +01:00
pure-packages.nix
python-packages.nix Merge pull request #51986 from ivan/add-grab-site 2018-12-15 03:33:05 +02:00
release-cross.nix Merge pull request #50282 from vincrusher/master 2018-11-12 15:57:23 -05:00
release-lib.nix systems/examples.nix: move riscv function to let binding 2018-11-29 19:15:28 -06:00
release-python.nix pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
release-small.nix atlas: remove 2018-11-04 20:23:12 -06:00
release.nix darwin-tested: readd wireshark 2018-11-07 13:02:51 -06:00
splice.nix xorg: don't splice scope attributes into main package set 2018-10-11 15:03:07 -04:00
stage.nix top-level/stage.nix: add static overlay 2018-12-13 14:04:34 -05:00
static.nix lz4: fix pkgsStatic build 2018-12-13 18:00:26 -05:00
unix-tools.nix treewide: Remove usage of remaining redundant platform compatability stuff 2018-08-30 17:20:32 -04:00
wine-packages.nix winePackages.wine: add SDL support 2018-11-29 00:18:46 +01:00