Index of /pub/linux/distributions/lip6-debian/ftp-dev/debian/pool/main/r/regina-normal
Name
Last modified
Size
Description
Parent Directory
-
regina-normal-dev_5.1-6+b1_amd64.deb
2018-11-17 19:05
572K
regina-normal-dev_5.1-6+b1_i386.deb
2018-11-17 09:25
572K
regina-normal-dev_6.0.1-4_amd64.deb
2021-04-19 11:28
659K
regina-normal-dev_6.0.1-4_i386.deb
2021-04-19 11:44
659K
regina-normal-dev_7.3-2_amd64.deb
2023-05-04 17:30
811K
regina-normal-dev_7.3-2_i386.deb
2023-05-04 17:14
811K
regina-normal-doc_5.1-6_all.deb
2018-10-28 11:36
14M
regina-normal-doc_6.0.1-4_all.deb
2021-04-19 11:13
14M
regina-normal-doc_7.3-2_all.deb
2023-05-04 17:09
71M
regina-normal-mpi_5.1-6+b1_amd64.deb
2018-11-17 19:05
149K
regina-normal-mpi_5.1-6+b1_i386.deb
2018-11-17 09:25
148K
regina-normal_5.1-6+b1_amd64.deb
2018-11-17 19:05
13M
regina-normal_5.1-6+b1_i386.deb
2018-11-17 09:25
14M
regina-normal_5.1-6.debian.tar.xz
2018-10-28 11:36
12K
regina-normal_5.1-6.dsc
2018-10-28 11:36
2.3K
regina-normal_5.1.orig.tar.gz
2016-12-17 02:03
26M
regina-normal_6.0.1-4.debian.tar.xz
2021-04-19 10:33
21K
regina-normal_6.0.1-4.dsc
2021-04-19 10:33
2.2K
regina-normal_6.0.1-4_amd64.deb
2021-04-19 11:28
14M
regina-normal_6.0.1-4_i386.deb
2021-04-19 11:44
14M
regina-normal_6.0.1.orig.tar.gz
2021-02-11 14:00
30M
regina-normal_7.3-2.debian.tar.xz
2023-05-04 15:54
14K
regina-normal_7.3-2.dsc
2023-05-04 15:54
2.2K
regina-normal_7.3-2_amd64.deb
2023-05-04 17:30
16M
regina-normal_7.3-2_i386.deb
2023-05-04 17:14
16M
regina-normal_7.3.orig.tar.gz
2023-03-19 01:48
93M
Apache/2 Server at ftp2.fr.openbsd.org Port 80