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
..
applications	Merge pull request #58503 from geistesk/stellarium-v0.19.0	2019-03-29 03:52:02 +01:00
build-support	Merge pull request #58345 from xtruder/pkgs/dockerTools/pullImage/finalImageName	2019-03-28 16:25:01 +01:00
common-updater	common-updater-scripts: Add file and system flags	2019-03-02 23:03:04 +01:00
data	Merge pull request #58252 from dtzWill/feature/manrope	2019-03-27 08:37:11 -05:00
desktops	fetch-kde-qt.sh: get hashes from metadata	2019-03-27 22:16:18 -04:00
development	coqPackages.coqhammer: init at 1.1	2019-03-29 09:07:27 +01:00
games	stuntrally: 2.6 -> 2.6.1	2019-03-23 14:11:53 +01:00
misc	Merge pull request #58314 from delroth/ghostscript-cve-2019-6116	2019-03-28 23:29:36 +01:00
os-specific	Merge pull request #58438 from dtzWill/update/microcode-20190312	2019-03-28 23:05:05 +01:00
servers	Merge pull request #58333 from r-ryantm/auto-update/matomo	2019-03-28 22:54:37 +01:00
shells	Merge pull request #57964 from andir/rssh	2019-03-22 13:19:06 +01:00
stdenv	top-level: Create pkgs{Build,Host,Target}{Build,Host,Target}	2019-03-24 22:12:15 -04:00
test	cross/tests: add llvm-based tests	2019-02-26 19:46:24 -05:00
tools	Merge pull request #58339 from r-ryantm/auto-update/ms-sys	2019-03-28 23:40:11 +01:00
top-level	coqPackages.coqhammer: init at 1.1	2019-03-29 09:07:27 +01:00