Index of /ubuntu-ports/pool/universe/r/rapidcheck
Name Last modified Size Description
Parent Directory -
rapidcheck_0~1033-08b5058-2.dsc 2022-02-14 18:34 2.0K
rapidcheck_0~1033-08b5058.orig.tar.xz 2022-02-14 18:34 138K
rapidcheck_0~1033-08b5058-2.debian.tar.xz 2022-02-14 18:34 2.5K
librapidcheck-dev_0~1033-08b5058-2_arm64.deb 2022-02-15 03:09 198K
librapidcheck-dev_0~1033-08b5058-2_armhf.deb 2022-02-15 03:10 211K
librapidcheck-dev_0~1033-08b5058-2_ppc64el.deb 2022-02-15 03:10 214K
librapidcheck-dev_0~1033-08b5058-2_riscv64.deb 2022-02-15 03:10 608K
librapidcheck-dev_0~1033-08b5058-2_s390x.deb 2022-02-15 03:10 190K
rapidcheck_0~1033-08b5058-3.dsc 2022-07-17 07:28 2.0K
rapidcheck_0~1033-08b5058-3.debian.tar.xz 2022-07-17 07:28 2.9K
librapidcheck-dev_0~1033-08b5058-3_arm64.deb 2022-07-17 07:29 196K
librapidcheck-dev_0~1033-08b5058-3_armhf.deb 2022-07-17 07:29 209K
librapidcheck-dev_0~1033-08b5058-3_ppc64el.deb 2022-07-17 07:29 212K
librapidcheck-dev_0~1033-08b5058-3_s390x.deb 2022-07-17 07:29 188K
librapidcheck-dev_0~1033-08b5058-3_riscv64.deb 2022-07-17 07:49 583K
rapidcheck_0~1048-a5724ea-1.dsc 2023-06-15 19:34 2.0K
rapidcheck_0~1048-a5724ea.orig.tar.xz 2023-06-15 19:34 138K
rapidcheck_0~1048-a5724ea-1.debian.tar.xz 2023-06-15 19:34 2.9K
librapidcheck-dev_0~1048-a5724ea-1_arm64.deb 2023-06-15 19:35 197K
librapidcheck-dev_0~1048-a5724ea-1_armhf.deb 2023-06-15 19:35 209K
librapidcheck-dev_0~1048-a5724ea-1_ppc64el.deb 2023-06-15 19:35 209K
librapidcheck-dev_0~1048-a5724ea-1_riscv64.deb 2023-06-15 19:35 598K
librapidcheck-dev_0~1048-a5724ea-1_s390x.deb 2023-06-15 19:35 190K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443