diff options
| author | Cyril Cohen | 2015-07-21 17:09:59 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2015-07-21 17:09:59 +0200 |
| commit | 663721c0c431bb4b7a903082edd42c28407ffe91 (patch) | |
| tree | 8862b694c849dfac9809f8d84145d716858d9104 /mathcomp/basic/all_basic.v | |
| parent | 7f7f8b1ceeb7d9b934716437c65b09899fb7bdb8 (diff) | |
update opam meta-data
Diffstat (limited to 'mathcomp/basic/all_basic.v')
0 files changed, 0 insertions, 0 deletions