watch « debian « agda « p - DHG_packages - [no description]

summary refs log tree commit diff

path: root/p/agda/debian/watch

blob: efec61e56412e269a92b020b16d0117ca3d33591 (plain)

1 2	`version=3 http://hackage.haskell.org/package/Agda/distro-monitor .*-([0-9\.]+)\.(?:zip\|tgz\|tbz\|txz\|(?:tar\.(?:gz\|bz2\|xz)))`