nixpkgs/pkgs
John Wiegley 7f2305c431
Merge pull request #37919 from vbgl/coq-bignums-8.8
coqPackages.bignums: make it available for Coq 8.8
2018-03-27 10:11:30 -07:00
..
applications tor-browser-bundle-bin: 7.5.2 -> 7.5.3 2018-03-27 18:10:58 +02:00
build-support dockerTools.tarsum: Fix upstream import 2018-03-26 18:47:31 +02:00
common-updater common-updater: support updating source URL 2018-03-16 23:17:07 +09:00
data hackage: update db snapshot 2018-03-25 20:21:45 +02:00
desktops plasma: 5.12.3 -> 5.12.4 2018-03-28 00:23:36 +08:00
development Merge pull request #37919 from vbgl/coq-bignums-8.8 2018-03-27 10:11:30 -07:00
games Merge pull request #37752 from ryantm/fix-urls 2018-03-25 00:40:17 -05:00
misc documentation-highlighter: init 2018-03-26 21:23:41 -04:00
os-specific Merge branch 'riscv-limitations' 2018-03-27 11:32:38 -04:00
servers apacheHttpd: 2.4.29 -> 2.4.33 2018-03-27 15:38:49 +02:00
shells bash-completion: 2.7 -> 2.8 2018-03-19 22:12:04 -07:00
stdenv meta: Add badPlatforms attribute for platform blacklisting. 2018-03-27 08:12:45 -04:00
test
tools libseccomp: Disable only on RISC-V if Linux. 2018-03-27 08:16:24 -04:00
top-level Merge branch 'riscv-limitations' 2018-03-27 11:32:38 -04:00