Watch file results

component: main
debian_mangled_uversion: 0.4.2
debian_uversion: 0.4.2
distribution: debian
last_check: 2025-12-16 04:20:16.43239
metadata: Contact: https://sourceforge.net/projects/ats-lang/lists/ats-lang-users FAQ: https://github.com/githwxi/ATS-Postiats/wiki/Frequently-asked-questions Repository: https://git.code.sf.net/p/ats2-lang/code Repository-Browse: https://sourceforge.net/p/ats2-lang/code/ci/master/tree/ Reference: - Author: Hongwei Xi Title: "Applied Type System: An Approach to Practical Programming with Theorem-Proving" Journal: arXiv:1703.08683 [cs.PL] Funding: - National Science Foundation
release: sid
source: ats2-lang
status: up to date
upstream_url: https://qa.debian.org/watch/sf.php/ats2-lang/ATS2-Postiats-0.4.2.tgz
upstream_version: 0.4.2
version: 0.4.2-3
watch_file: version=4 http://sf.net/ats2-lang/ATS2-Postiats-(\d\S+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))