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 /tactics/hiddentac.ml | |
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 'tactics/hiddentac.ml')
0 files changed, 0 insertions, 0 deletions