Index of /debian/pool/main/g/gprbuild
Name
Last modified
Size
Description
Parent Directory
-
gprbuild_2024.1.20231009-5+b1_amd64.deb
2024-10-28 23:30
7.4M
gprbuild_2024.1.20231009-5+b1_riscv64.deb
2024-11-03 03:04
6.9M
gprbuild_2023.0.0-3_amd64.deb
2023-05-11 05:30
6.8M
libgnatprj-dev_2024.1.20231009-5+b1_riscv64.deb
2024-11-03 03:04
4.7M
libgnatprj-dev_2024.1.20231009-5+b1_amd64.deb
2024-10-28 23:30
2.1M
libgnatprj10-dev_2023.0.0-3_amd64.deb
2023-05-11 05:30
2.0M
libgnatprj8-dev_2021.0.0.0778b109-5_amd64.deb
2020-12-21 17:11
2.0M
libgpr2-dev_2018-6_amd64.deb
2018-11-11 21:01
1.8M
libgnatprj11_2024.1.20231009-5+b1_amd64.deb
2024-10-28 23:30
1.5M
libgnatprj8_2021.0.0.0778b109-5_amd64.deb
2020-12-21 17:11
1.4M
libgnatprj10_2023.0.0-3_amd64.deb
2023-05-11 05:30
1.4M
libgnatprj11_2024.1.20231009-5+b1_riscv64.deb
2024-11-03 03:04
1.4M
libgpr18_2018-6_amd64.deb
2018-11-11 21:01
1.3M
gprbuild_2021.0.0.0778b109-5_amd64.deb
2020-12-21 17:11
1.1M
gprbuild_2018-6_amd64.deb
2018-11-11 21:01
1.1M
gprbuild_2023.0.0.orig.tar.gz
2022-11-26 15:49
931K
gprbuild-doc_2024.1.20231009-5_all.deb
2024-05-02 19:30
930K
gprbuild-doc_2023.0.0-3_all.deb
2023-05-11 02:22
910K
gprbuild_2021.0.0.0778b109.orig.tar.gz
2020-10-20 03:08
907K
gprbuild-doc_2021.0.0.0778b109-5_all.deb
2020-12-21 17:06
832K
gprbuild_2024.1.20231009.orig.tar.xz
2023-10-25 02:54
677K
gprbuild_2018.orig.tar.xz
2018-06-10 16:55
496K
gprbuild_2018-6.debian.tar.xz
2018-11-11 20:01
20K
gprbuild_2024.1.20231009-5.debian.tar.xz
2024-05-02 18:54
20K
gprbuild_2021.0.0.0778b109-5.debian.tar.xz
2020-12-21 16:46
19K
gprbuild_2023.0.0-3.debian.tar.xz
2023-05-11 01:47
19K
gprbuild_2024.1.20231009-5.dsc
2024-05-02 18:54
2.5K
gprbuild_2021.0.0.0778b109-5.dsc
2020-12-21 16:46
2.5K
gprbuild_2023.0.0-3.dsc
2023-05-11 01:47
2.5K
gprbuild_2018-6.dsc
2018-11-11 20:01
2.1K