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 /META.coq | |
parent | 4181269ff800d58e60b886d0aaa2894444a9cd0d (diff) |
debian/rules: Bump Coq version
Diffstat (limited to 'META.coq')
0 files changed, 0 insertions, 0 deletions