diff options
| author |  Enrico Tassi <gareuselesinge@debian.org> | 2016-12-27 16:07:18 +0000 |
|---|---|---|
| committer | Enrico Tassi <gareuselesinge@debian.org> | 2016-12-28 13:40:32 +0000 |
| commit | a8c0742d53ca8802a3032d801e4a5e169851078e (patch) | |
| tree | f76ed81f67795331c2486dafbe97369770505844 /Make | |
| parent | fb74782e08217e4f1069ed99de6f6f30005bfe13 (diff) | |
aac for Coq 8.6
Diffstat (limited to 'Make')
0 files changed, 0 insertions, 0 deletions