Watch file results

component: main
debian_mangled_uversion: 1.4-18
debian_uversion: 1.4-18
distribution: debian
last_check: 2025-12-12 13:50:19.437872
metadata: Bug-Database: https://github.com/cs-au-dk/MONA/issues Repository: https://github.com/cs-au-dk/MONA Webservice: https://www.brics.dk/mona/demo.html Reference: - Author: Jesper G. Henriksen, Jakob Jensen, Michael Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, and Anders Sandholm - Title: "Mona: Monadic Second-Order Logic in Practice" - Booktitle: First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS) - Editor: Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen - Year: 1995 - Publisher: Springer - DOI: 10.1007/3-540-60630-0\_5
release: sid
source: mona
status: up to date
upstream_url: https://github.com/cs-au-dk/MONA/archive/refs/tags/1.4-18.tar.gz
upstream_version: 1.4-18
version: 1.4-18-1
watch_file: 
version=4
opts=filenamemangle=s/.+\/v?(\d\S*)\.tar\.gz/MONA-$1\.tar\.gz/ \
  https://github.com/cs-au-dk/MONA/tags .*/v?(\d\S*)\.tar\.gz