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 /interp/interp.mllib | |
| 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 'interp/interp.mllib')
0 files changed, 0 insertions, 0 deletions