alex	3.5.3.0	3.5.4.0	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/alex-3.5.4.0-1.4.src.rpm
alex	3.5.3.0	3.5.4.0	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/a/alex-3.5.4.0-1.fc44.src.rpm
coq	8.20.1	9.2.0	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/coq-9.2.0-1.2.src.rpm
ghc	9.6.7	9.12.2	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/ghc-9.12.2-6.3.src.rpm
ghc9.6	9.6.7	9.8.4	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/g/ghc9.8-9.8.4-16.fc43.src.rpm
happy	2.1.5	2.1.7	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/happy-2.1.7-1.4.src.rpm
happy	2.1.5	2.1.7	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/h/happy-2.1.7-1.fc44.src.rpm
hugin	2025.0.0	2025.0.1	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/hugin-2025.0.1-1.2.src.rpm
hugin	2025.0.0	2025.0.1	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/h/hugin-2025.0.1-2.fc44.src.rpm
hugin	2025.0.0	2025.0.1	http://mirror.yandex.ru/mageia/distrib/cauldron/SRPMS/core/release/hugin-2025.0.1-3.mga10.src.rpm
mediamtx	1.15.4	1.17.1	https://github.com/bluenviron/mediamtx/archive/refs/tags/v1.17.1.tar.gz
mediamtx	1.15.4	1.17.1	https://github.com/bluenviron/mediamtx/releases/tag/v1.17.1
pandoc	3.8.2.1	3.8.3	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/pandoc-cli-3.8.3-1.4.src.rpm
python3-module-xcffib	1.11.2	1.12.0	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/python-xcffib-1.12.0-1.2.src.rpm
python3-module-xcffib	1.11.2	1.12.0	https://github.com/tych0/xcffib/releases/tag/v1.12.0
stack	3.5.1	3.9.1	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/s/stack-3.9.1-41.fc44.src.rpm
stack	3.5.1	3.9.3	https://github.com/commercialhaskell/stack/releases/tag/v3.9.3