diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-24 13:25:38 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2018-12-24 13:25:38 -0500 |
commit | 5a38d3c4d185cd2248b483de3f64228d5f948d2d (patch) | |
tree | 853dc5ec5630178174466c8830f97a9c2bbf669c /test-suite/bugs/closed/HoTT_coq_042.v | |
parent | 45d7383f95ce0528d756f712635df90456ab97dc (diff) |
Update debian/watch for GitHub switch
The Coq developers now distribute Coq through GitHub rather than via a
direct download from INRIA. Update debian/watch to point to GitHub.
Tweak the version regex slightly to account for Coq using capital V in
their version numbers (e.g., V8.7.2). Also tweak the regex to ignore
any release with a + in it; those releases are preproduction releases.
Diffstat (limited to 'test-suite/bugs/closed/HoTT_coq_042.v')
0 files changed, 0 insertions, 0 deletions