| commit | f36115b2d44833a70f95419caacf2ae411b862e8 | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Wed, 15 Sep 2010 19:39:48 +0000 (15 19:39 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Wed, 15 Sep 2010 19:39:48 +0000 (15 19:39 +0000) | ||
| tree | eeaf6a1790b95b31e0f0bbc26a2d7b5c5f94b552 | treesnapshot (tar.gz zip) |
| parent | 8683c21c1500d499427638f3b8d185729c94af47 | commitdiff |
Change the name of the coq derivation to coq-devel-8.3pre1
i.e., remove the version from the name. Nix has its own mechanism to
prevent a packages to be upgraded. Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).
Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@23813 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
i.e., remove the version from the name. Nix has its own mechanism to
prevent a packages to be upgraded. Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).
Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@23813 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb