Public Git Hosting - nixpkgs-libre.git/commit

commit	94680b3512eba96ff1172dd3ddd514a59f7d1e11
author	maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb>
	Mon, 2 Nov 2009 11:44:27 +0000 (2 11:44 +0000)
committer	maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb>
	Mon, 2 Nov 2009 11:44:27 +0000 (2 11:44 +0000)
tree	73d3a5c3f60ca547200cbd98064ad97b7bb973f9	tree \| snapshot (tar.gz zip)
parent	d500e34357392110939598b11a1694b1e7f8dac2	commit \| diff

Updated Coq to version 8.2pl1

git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@18069 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb

pkgs/applications/science/logic/coq/configure.patch.gz	[new file with mode: 0644]	blob
pkgs/applications/science/logic/coq/default.nix		diff \| blob \| blame \| history
pkgs/development/tools/ocaml/camlp5/default.nix		diff \| blob \| blame \| history
pkgs/top-level/all-packages.nix		diff \| blob \| blame \| history

Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)