public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
347a0c25f370f3383072229d95de4fa970939bf3
nixpkgs/pkgs/top-level
History
zimbatm 3d0af7848c Merge pull request #67607 from zimbatm/verifpal-0.2 
verifpal: init at 0.2
2019-08-30 21:56:52 +02:00
..
aliases.nix
emacsPackages: Drop old emacsPackages (non-NG) sets
2019-08-30 16:43:16 +01:00
all-packages.nix
Merge pull request #67607 from zimbatm/verifpal-0.2
2019-08-30 21:56:52 +02:00
beam-packages.nix
erlang: pin to openssl 1.0.2 for < R20
2019-08-21 23:21:55 +02:00
config.nix
…
coq-packages.nix
coq: make version 8.9 the default one
2019-08-21 12:07:38 +00:00
darwin-packages.nix
darwin-frameworks: replace cf-private and move it's setup-hook
2019-07-03 22:20:09 +02:00
default.nix
…
dotnet-packages.nix
fsharp41: 4.1.7 -> 4.1.34; mono = mono6
2019-08-08 00:17:40 +02:00
emacs-packages.nix
emacs-packages: Make org packages overrideable
2019-08-18 11:10:06 +01:00
emscripten-packages.nix
…
haskell-packages.nix
…
haxe-packages.nix
…
impure.nix
…
java-packages.nix
…
lua-packages.nix
…
make-tarball.nix
make-tarball / lib-tests: reduce duplication
2019-07-11 18:02:05 +02:00
metrics.nix
…
ocaml-packages.nix
ocamlPackages.lambdaTerm: remove at 1.6
2019-08-28 06:36:57 +00:00
perl-packages.nix
perlPackages.DeviceSerialPort: name -> pname
2019-08-26 15:45:56 +08:00
php-packages.nix
phpPackages.phpstan: 0.11.12 -> 0.11.15
2019-08-23 14:50:00 +02:00
pure-packages.nix
…
python-packages.nix
python-HyperKitty: initial version 1.2.2
2019-08-30 14:25:13 +02:00
release-cross.nix
…
release-lib.nix
…
release-python.nix
…
release-small.nix
…
release.nix
emacsPackages: Drop old emacsPackages (non-NG) sets
2019-08-30 16:43:16 +01:00
splice.nix
…
stage.nix
…
static.nix
Merge pull request #65537 from Holo-Host/201907/extend-static
2019-08-13 12:47:03 -04:00
unix-tools.nix
…
wine-packages.nix
…