3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
2015-09-25 10:48:40 +02:00
..
applications metis-prover: init at 2.3 2015-09-25 10:48:39 +02:00
build-support nix-prefetch-git: pull all tags from remote when checkouting by revision 2015-09-20 18:24:34 +02:00
data noto-fonts-emoji: fixup chrooted build 2015-09-21 11:32:06 +02:00
desktops pantheon-terminal: 0.3.0.1 -> 0.3.1.3 2015-09-20 18:24:37 +02:00
development at-spi2-core: 2.16.0 -> 2.18.0 2015-09-25 10:48:40 +02:00
games hackage-packages.nix: switch our default package set to Stackage Nightly 2015-09-19 08:20:40 +02:00
misc mgba: use Qt 5.4 2015-09-19 10:01:25 -05:00
os-specific broadcom-sta: fix build on kernel >= 4.2 (close #9953) 2015-09-20 08:01:37 +02:00
servers samba: 4.2.3 -> 4.3.0 2015-09-18 14:52:51 -07:00
shells Merge commit 'a6f6c0e' into master.upstream 2015-09-15 12:16:49 -07:00
stdenv Enable separate debug info 2015-09-17 15:56:33 +02:00
test
tools btrfsProgs: 4.2.0 -> 4.2.1 2015-09-21 11:33:41 -07:00
top-level metis-prover: init at 2.3 2015-09-25 10:48:39 +02:00