nixpkgs/pkgs/top-level
Vincent Laporte 823107038b coqPackages.coqhammer: init at 1.1
CoqHammer is a general-purpose automated reasoning hammer tool for Coq.

Homepage: http://cl-informatik.uibk.ac.at/cek/coqhammer/
2019-03-29 09:07:27 +01:00
..
aliases.nix buildbot: remove deprecated aliases 2019-03-22 18:43:22 -04:00
all-packages.nix python.pkgs.roboschool: init at 1.0.39 (#58451) 2019-03-27 21:26:54 +00:00
beam-packages.nix elixir_1_3: Remove since it is not supported anymore 2019-01-05 12:34:49 +01:00
config.nix pkgs/top-level: little doc fix for mkMassRebuild 2019-03-08 11:23:46 +02:00
coq-packages.nix coqPackages.coqhammer: init at 1.1 2019-03-29 09:07:27 +01:00
darwin-packages.nix Revert "darwin 10.12 commits" 2019-01-03 15:20:26 -06:00
default.nix pkgs/top-level/stage.nix: don't override overlays and config in nixpkgsFun 2019-03-08 11:37:20 +02:00
dotnet-packages.nix dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) 2018-10-31 21:04:31 +01:00
emacs-packages.nix emacsPackages.emacsql-sqlite: build sqlite binary 2019-01-13 16:32:21 +08:00
emscripten-packages.nix
haskell-packages.nix ghc: switch our default compiler to version 8.6.4 2019-03-16 20:30:58 +01:00
haxe-packages.nix
impure.nix top-level: cleanup whitespace 2019-02-03 15:30:14 +00:00
java-packages.nix
lua-packages.nix Merge pull request #57010 from teto/luarocks_update 2019-03-07 10:52:56 +00:00
make-tarball.nix
metrics.nix metrics.nix: track qaCountBroken instead of qaCountDrv 2019-03-01 13:59:30 +01:00
ocaml-packages.nix ocamlPackages.cairo2: 0.5 -> 0.6 (#57965) 2019-03-26 15:11:37 +01:00
perl-packages.nix Merge pull request #55870 from peterhoeg/f/zm 2019-03-18 11:29:04 +08:00
php-packages.nix phpPackages.composer: Add unzip to path 2019-03-24 11:17:24 +01:00
pure-packages.nix
python-packages.nix python.pkgs.pybullet: init at 2.4.8 (#58448) 2019-03-27 22:17:37 +00: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
release-small.nix webkit: move to aliases 2019-03-06 00:20:55 +01:00
release.nix release: add more unstable release-critical jobs 2018-12-30 16:55:09 -06:00
splice.nix top-level: Create pkgs{Build,Host,Target}{Build,Host,Target} 2019-03-24 22:12:15 -04:00
stage.nix Merge pull request #57611 from Ericson2314/stage-braid-not-chain 2019-03-25 21:56:59 -04:00
static.nix lz4: fix pkgsStatic build 2018-12-13 18:00:26 -05:00
unix-tools.nix unixtools.utillinux: add column 2019-01-23 16:35:11 -05:00
wine-packages.nix winePackages.wine: add SDL support 2018-11-29 00:18:46 +01:00