Index of /debian/pool/main/g/gnomint
Name
Last modified
Size
Description
Parent Directory
-
gnomint_1.3.0-1.dsc
2019-01-28 02:24
1.8K
gnomint_1.3.0-4.dsc
2021-10-29 11:12
1.8K
gnomint_1.3.0-3.dsc
2020-06-26 20:10
1.8K
gnomint_1.3.0-5.dsc
2024-10-20 09:39
1.9K
gnomint_1.3.0-1.debian.tar.xz
2019-01-28 02:24
9.6K
gnomint_1.3.0-3.debian.tar.xz
2020-06-26 20:10
27K
gnomint_1.3.0-4.debian.tar.xz
2021-10-29 11:12
27K
gnomint_1.3.0-5.debian.tar.xz
2024-10-20 09:39
27K
gnomint_1.3.0-5_armhf.deb
2024-10-20 10:09
220K
gnomint_1.3.0-5_arm64.deb
2024-10-20 10:09
222K
gnomint_1.3.0-1_armhf.deb
2019-01-28 03:14
223K
gnomint_1.3.0-4+b1_armhf.deb
2022-09-18 23:42
225K
gnomint_1.3.0-3_armhf.deb
2020-06-26 20:41
225K
gnomint_1.3.0-3_arm64.deb
2020-06-26 20:41
227K
gnomint_1.3.0-4+b1_arm64.deb
2022-09-19 01:28
228K
gnomint_1.3.0-1_arm64.deb
2019-01-28 03:14
228K
gnomint_1.3.0-5_amd64.deb
2024-10-20 10:09
231K
gnomint_1.3.0-3_amd64.deb
2020-06-26 20:41
236K
gnomint_1.3.0-1_amd64.deb
2019-01-28 03:04
237K
gnomint_1.3.0-4+b1_amd64.deb
2022-09-19 01:27
237K
gnomint_1.3.0-5_i386.deb
2024-10-20 10:04
239K
gnomint_1.3.0-1_i386.deb
2019-01-28 02:59
246K
gnomint_1.3.0-3_i386.deb
2020-06-26 20:41
246K
gnomint_1.3.0-4+b1_i386.deb
2022-09-19 10:40
248K
gnomint_1.3.0.orig.tar.gz
2019-01-28 02:24
740K
Apache/2.4.62 (Debian) Server at carid.ruc.dk Port 80