diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-01 07:47:14 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 11:10:06 +0100 |
| commit | c00af6d8c1ace1a117dbf4bfbb2dfbc0c7679e1a (patch) | |
| tree | 274948084ba2245d4cb3ddd45d496a9fa7b76b49 /INSTALL | |
| parent | 277eee0a26f50107a302957a9dff7119afae84c2 (diff) | |
Add coq-${F:CoqABI} virtual package
Rationale: *.vo files depend on the version of Coq used to compile
them. This virtual package will be useful for other packages providing
*.vo (e.g. why, ssreflect).
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions