Vincent Laporte a65767a0b4 nixpkgs manual: packaging coq libraries		2014-09-28 22:02:36 +01:00
..
old
coding-conventions.xml
contributing.xml
default.nix
introduction.xml
language-support.xml	nixpkgs manual: packaging coq libraries	2014-09-28 22:02:36 +01:00
manual.xml
meta.xml	Add a few meta-attribute descriptions; rewrite the meta-attribure list description to mean that it is expected that all used meta-attributes are described in the manual.	2014-09-03 02:10:00 +04:00
package-notes.xml
quick-start.xml	remove bittorrent package since it's obsolete	2014-09-05 22:49:31 +02:00
quote-literals.xsl
release-notes.xml
stdenv.xml
style.css