Index of /pool/main/g/gprbuild
Name
Last modified
Size
Description
Parent Directory
-
gprbuild_2023.0.0-3_amd64.deb
2023-05-19 09:11
6.8M
gprbuild_2023.0.0-2_amd64.deb
2023-03-12 08:16
6.8M
libgnatprj10-dev_2023.0.0-2_amd64.deb
2023-03-12 08:16
2.0M
libgnatprj10-dev_2023.0.0-3_amd64.deb
2023-05-19 09:11
2.0M
libgnatprj8-dev_2021.0.0.0778b109-5_amd64.deb
2023-02-25 17:39
2.0M
libgpr2-dev_2018-6_amd64.deb
2019-08-27 11:41
1.8M
libgnatprj8_2021.0.0.0778b109-5_amd64.deb
2023-02-25 17:39
1.4M
libgnatprj10_2023.0.0-2_amd64.deb
2023-03-12 08:16
1.4M
libgnatprj10_2023.0.0-3_amd64.deb
2023-05-19 09:11
1.4M
libgpr18_2018-6_amd64.deb
2019-08-27 11:41
1.3M
gprbuild_2021.0.0.0778b109-5_amd64.deb
2023-02-25 17:39
1.1M
gprbuild_2018-6_amd64.deb
2019-08-27 11:41
1.1M
gprbuild_2023.0.0.orig.tar.gz
2023-03-12 08:16
931K
gprbuild-doc_2023.0.0-3_all.deb
2023-05-19 09:11
910K
gprbuild-doc_2023.0.0-2_all.deb
2023-03-12 08:16
909K
gprbuild_2021.0.0.0778b109.orig.tar.gz
2023-02-25 17:39
907K
gprbuild-doc_2021.0.0.0778b109-5_all.deb
2023-02-25 17:39
832K
gprbuild_2018.orig.tar.xz
2019-08-27 11:41
496K
gprbuild_2018-6.debian.tar.xz
2019-08-27 11:41
20K
gprbuild_2021.0.0.0778b109-5.debian.tar.xz
2023-02-25 17:39
19K
gprbuild_2023.0.0-3.debian.tar.xz
2023-05-19 09:11
19K
gprbuild_2023.0.0-2.debian.tar.xz
2023-03-12 08:16
19K
gprbuild_2021.0.0.0778b109-5.dsc
2023-02-25 17:39
2.5K
gprbuild_2023.0.0-3.dsc
2023-05-19 09:11
2.5K
gprbuild_2023.0.0-2.dsc
2023-03-12 08:16
2.5K
gprbuild_2018-6.dsc
2019-08-27 11:41
2.1K
Apache/2.4.62 (Debian) Server at updates-test.software-univention.de Port 443