File: watch

package info (click to toggle)
menhir 20181113-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,992 kB
  • sloc: ml: 21,252; makefile: 425; sh: 90; lisp: 8
file content (5 lines) | stat: -rw-r--r-- 257 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
 
version=4

#http://pauillac.inria.fr/~fpottier/menhir/menhir-(.*)\.tar\.gz
opts=filenamemangle=s/.*\/archive\/(\d\S+)\/menhir.*\.tar\.gz/menhir-$1\.tar\.gz/g \
  https://gitlab.inria.fr/fpottier/menhir/tags?sort=updated_desc .*/archive/(\d\S+)/.*\.tar\.gz.*