Go to file
Pascal Wittmann 87e6b3b862 Merge pull request #7390 from vbgl/coq-84pl6
coq: update from 8.4pl5 to 8.4pl6
2015-04-16 17:39:50 +02:00
doc Update the ruby packaging docs to show how to bundle Ruby Gem-based 2015-03-31 19:04:42 +02:00
lib Merge pull request #7385 from Forkk/screencloud 2015-04-16 06:28:00 +03:00
maintainers Travis: disable tarball creating check, because travis can't handle it 2015-03-04 15:28:09 +01:00
nixos lambdabot: add nixos service 2015-04-16 13:33:40 +03:00
pkgs Merge pull request #7390 from vbgl/coq-84pl6 2015-04-16 17:39:50 +02:00
.gitignore gitignore: pkgs/development/libraries/qt-5/*/tmp/ 2015-02-21 11:39:20 -06:00
.travis.yml .travis.yml: add "sudo: required" to opt out of containers 2015-04-07 15:45:00 +02:00
.version release: 15.04 -> 15.05 2014-12-09 15:09:06 +01:00
COPYING * Applying an MIT-style license to Nixpkgs. 2006-04-25 16:50:34 +00:00
default.nix if we abort with too old Nix, hint docs 2015-01-21 21:41:40 +01:00
README.md add: logo 2015-04-06 20:10:25 +03:00