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.1.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-4.1.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.1.src.rpm
mediamtx	1.15.0	1.15.2	https://github.com/bluenviron/mediamtx/archive/refs/tags/v1.15.2.tar.gz
mediamtx	1.15.0	1.15.2	https://github.com/bluenviron/mediamtx/releases/tag/v1.15.2
netgen	6.2.2406	6.2.2505	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/n/netgen-mesher-6.2.2505-3.fc44.src.rpm
netgen	6.2.2406	6.2.2506	https://github.com/NGSolve/netgen/releases/tag/v6.2.2506
scid_vs_pc	4.25	4.26	http://mirror.yandex.ru/mageia/distrib/cauldron/SRPMS/core/release/scidvspc-4.26-1.mga10.src.rpm
stack	3.5.1	3.7.1	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/s/stack-3.7.1-39.fc43.src.rpm
stack	3.5.1	3.7.1	https://github.com/commercialhaskell/stack/releases/tag/v3.7.1