File: watch

package info (click to toggle)
metamath 0.195-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid, trixie
  • size: 2,108 kB
  • sloc: ansic: 31,786; makefile: 43
file content (4 lines) | stat: -rw-r--r-- 184 bytes parent folder | download 
1
2
3
4
 
version=4
opts="filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%metamath-exe-$1.tar.gz%" \
https://github.com/metamath/metamath-exe/tags \
(?:.*?/)?v?(\d[\d.]*)\.tar\.gz debian uupdate