| commit | 60432e41f342789fb1dde7f0057a735883e98f5a | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Tue, 14 Sep 2010 21:15:58 +0000 (14 21:15 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Tue, 14 Sep 2010 21:15:58 +0000 (14 21:15 +0000) | ||
| tree | 814bc351138a6a4987b9a9f19e3a0a9745f363e5 | treesnapshot (tar.gz zip) |
| parent | 48c6ea1f01be003a45ddb856ea3b719bd979bd0e | commitdiff |
Add coq-8.3rc1
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1"). The reason for this is that often
coq releases introduce several incompatibilities. Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another. Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@23803 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1"). The reason for this is that often
coq releases introduce several incompatibilities. Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another. Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@23803 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/science/logic/coq/8.3rc1.nix | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/coq/coq-8.3-rc1_configure.patch | [new file with mode: 0644] | blob |
| pkgs/top-level/all-packages.nix | diffblobblamehistory |