Index of /pub/os/linux/debian/pool/main/g/gap-polymaking/

Filename	Modification time	Size
gap-polymaking_0.8.6-2.debian.tar.xz	2021-11-27 15:22 CET	3612 B
gap-polymaking_0.8.6-2.dsc	2021-11-27 15:22 CET	1885 B
gap-polymaking_0.8.6-2_all.deb	2021-11-27 16:12 CET	243 KiB
gap-polymaking_0.8.6.orig.tar.gz	2021-10-03 18:57 CEST	269 KiB
gap-polymaking_0.8.7-3.debian.tar.xz	2024-04-17 14:41 CEST	3672 B
gap-polymaking_0.8.7-3.dsc	2024-04-17 14:41 CEST	1932 B
gap-polymaking_0.8.7-3_all.deb	2024-04-17 15:06 CEST	260 KiB
gap-polymaking_0.8.7.orig.tar.gz	2023-11-22 21:02 CET	275 KiB