Public Git Hosting - nixpkgs-libre.git/commit

commit	0ca87d12c09e07760f9055347007a2e027d0dbd4
author	maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb>
	Mon, 20 Dec 2010 10:32:22 +0000 (20 10:32 +0000)
committer	maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb>
	Mon, 20 Dec 2010 10:32:22 +0000 (20 10:32 +0000)
tree	b33409b6310d842be4c8201ec7d7548df5c05d1d	tree \| snapshot (tar.gz zip)
parent	7cff6fb77d9d513213b28ef64ad6eb5acc8f710d	commit \| diff

* Update camlp5

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

pkgs/applications/science/logic/coq/default.nix		diff \| blob \| blame \| history
pkgs/development/tools/ocaml/camlp5/META	[new file with mode: 0644]	blob
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)