Watch file results

component: main
debian_mangled_uversion: 5.8.0
debian_uversion: 5.8.0
distribution: debian
last_check: 2025-10-12 15:20:14.758245
metadata: Bug-Database: https://github.com/potassco/clingo/issues Bug-Submit: https://github.com/potassco/clingo/issues/new Changelog: https://github.com/potassco/clingo/blob/master/CHANGES.md Contact: https://sourceforge.net/p/potassco/mailman/potassco-users/ FAQ: https://potassco.org/doc/faq/ Name: clingo Other-References: https://potassco.org/doc/ Reference: - Author: Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub Title: Multi-shot ASP solving with clingo Journal: Theory and Practice of Logic Programming Year: 2018 Pages: 156 DOI: 10.1017/S1471068418000054 URL: https://arxiv.org/abs/1705.09811 - Author: Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub Title: 'Clingo = ASP + Control: Preliminary Report' Journal: CoRR Year: 2014 Number: abs/1405.3694 Pages: 9 URL: https://arxiv.org/abs/1405.3694 - Author: Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Arne Knig and Torsten Schaub Title: Advances in gringo Series 3 Booktitle: Logic Programming and Nonmonotonic Reasoning. International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011) Editor: James P. Delgrande and Wolfgang Faber Year: 2011 Number: 6645 Pages: 345351 Type: inproceedings URL: https://arxiv.org/abs/1405.3694 Repository: https://github.com/potassco/clingo.git Repository-Browse: https://github.com/potassco/clingo
release: sid
source: gringo
status: up to date
upstream_url: https://github.com/potassco/clingo/archive/refs/tags/v5.8.0.tar.gz
upstream_version: 5.8.0
version: 5.8.0-1
watch_file: 
# watch control file for uscan

# Compulsory line, this is a version 4 file
version=4

opts=filenamemangle=s/.+\/v(\d\.\d\.\d)\.tar\.gz/gringo-$1\.tar\.gz/ \
  https://github.com/potassco/gringo/tags .*/v(\d\.\d\.\d)\.tar\.gz