Index of /raspbian/pool/main/g/gprbuild
Name
Last modified
Size
Description
Metadata
Parent Directory
-
gprbuild_2024.1.20231009-5_armhf.deb
15-Jul-2024 16:08
5.9M
Details
gprbuild_2023.0.0-3_armhf.deb
18-May-2023 10:08
5.3M
Details
libgnatprj-dev_2024.1.20231009-5_armhf.deb
15-Jul-2024 16:08
1.8M
Details
libgnatprj10-dev_2023.0.0-3_armhf.deb
18-May-2023 10:08
1.7M
Details
libgnatprj8-dev_2021.0.0.0778b109-5_armhf.deb
24-Dec-2020 10:08
1.7M
Details
libgpr2-dev_2018-6_armhf.deb
14-Nov-2018 10:08
1.5M
Details
libgnatprj11_2024.1.20231009-5_armhf.deb
15-Jul-2024 16:08
1.3M
Details
libgnatprj8_2021.0.0.0778b109-5_armhf.deb
24-Dec-2020 10:08
1.2M
Details
libgnatprj10_2023.0.0-3_armhf.deb
18-May-2023 10:08
1.2M
Details
libgpr18_2018-6_armhf.deb
14-Nov-2018 10:08
1.0M
Details
gprbuild_2023.0.0.orig.tar.gz
26-Nov-2022 11:49
931K
Details
gprbuild-doc_2024.1.20231009-5_all.deb
02-May-2024 15:30
930K
Details
gprbuild-doc_2023.0.0-3_all.deb
10-May-2023 22:22
910K
Details
gprbuild_2021.0.0.0778b109.orig.tar.gz
19-Oct-2020 23:08
907K
Details
gprbuild_2021.0.0.0778b109-5_armhf.deb
24-Dec-2020 10:08
838K
Details
gprbuild-doc_2021.0.0.0778b109-5_all.deb
21-Dec-2020 13:06
832K
Details
gprbuild_2018-6_armhf.deb
14-Nov-2018 10:08
808K
Details
gprbuild_2024.1.20231009.orig.tar.xz
24-Oct-2023 22:54
677K
Details
gprbuild_2018.orig.tar.xz
10-Jun-2018 12:55
496K
Details
gprbuild_2018-6.debian.tar.xz
11-Nov-2018 16:01
20K
Details
gprbuild_2024.1.20231009-5.debian.tar.xz
02-May-2024 14:54
20K
Details
gprbuild_2021.0.0.0778b109-5.debian.tar.xz
21-Dec-2020 12:46
19K
Details
gprbuild_2023.0.0-3.debian.tar.xz
10-May-2023 21:47
19K
Details
gprbuild_2024.1.20231009-5.dsc
02-May-2024 14:54
2.5K
Details
gprbuild_2021.0.0.0778b109-5.dsc
21-Dec-2020 12:46
2.5K
Details
gprbuild_2023.0.0-3.dsc
10-May-2023 21:47
2.5K
Details
gprbuild_2018-6.dsc
11-Nov-2018 16:01
2.1K
Details
Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80
MirrorBrain
powered by
Apache