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