File: watch

package info (click to toggle)
mathlibtools 1.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 272 kB
  • sloc: python: 1,388; sh: 90; makefile: 3
file content (3 lines) | stat: -rw-r--r-- 166 bytes parent folder | download 
1
2
3
 
version=4
opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/mathlibtools-$1\.tar\.gz/ \
  https://github.com/leanprover-community/mathlib-tools/tags .*/v?(\d\S+)\.tar\.gz