diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 16:14:55 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:36 -0500 |
| commit | a54522df81eaf2ad38454e5e43f2faf2d1a501dc (patch) | |
| tree | 7f6632633ff455b125c7d0dd4db36eb946a1d453 /dev | |
| parent | 4181269ff800d58e60b886d0aaa2894444a9cd0d (diff) | |
debian/rules: Bump Coq version
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions