doc
|
nixpkgs manual: packaging coq libraries
|
2014-09-28 22:02:36 +01:00 |
lib
|
Merge pull request #4305 from vbgl/coq-containers
|
2014-09-30 15:04:30 +01:00 |
nixos
|
Merge pull request #4294 from daogames/tb/psql-port-fix
|
2014-10-01 18:56:39 -05:00 |
pkgs
|
Merge pull request #4207 from joefiorini/patch-1
|
2014-10-02 23:22:27 +04:00 |
.travis.yml
|
Review PR in travis with nox-review
|
2014-09-21 21:17:56 +02:00 |
.version
|
Update version
|
2014-04-23 08:02:18 -04:00 |
COPYING
|
* Applying an MIT-style license to Nixpkgs.
|
2006-04-25 16:50:34 +00:00 |