Index of /ubuntu/pool/universe/c/coq-stdpp/
../
coq-stdpp_1.10.0-1.debian.tar.xz 02-May-2024 19:38 2628
coq-stdpp_1.10.0-1.dsc 02-May-2024 19:38 2073
coq-stdpp_1.10.0-1build1.debian.tar.xz 03-May-2024 03:28 2700
coq-stdpp_1.10.0-1build1.dsc 03-May-2024 03:28 2072
coq-stdpp_1.10.0-1build2.debian.tar.xz 14-May-2024 01:39 2712
coq-stdpp_1.10.0-1build2.dsc 14-May-2024 01:39 2072
coq-stdpp_1.10.0-1build3.debian.tar.xz 15-Jun-2024 21:43 2732
coq-stdpp_1.10.0-1build3.dsc 15-Jun-2024 21:43 2072
coq-stdpp_1.10.0-2.debian.tar.xz 04-Aug-2024 18:34 2760
coq-stdpp_1.10.0-2.dsc 04-Aug-2024 18:34 1843
coq-stdpp_1.10.0-2build1.debian.tar.xz 15-Aug-2024 14:47 2828
coq-stdpp_1.10.0-2build1.dsc 15-Aug-2024 14:47 2072
coq-stdpp_1.10.0-2build2.debian.tar.xz 07-Sep-2024 06:05 2884
coq-stdpp_1.10.0-2build2.dsc 07-Sep-2024 06:05 2072
coq-stdpp_1.10.0-2build3.debian.tar.xz 07-Sep-2024 22:43 2896
coq-stdpp_1.10.0-2build3.dsc 07-Sep-2024 22:43 2072
coq-stdpp_1.10.0.orig.tar.gz 02-May-2024 19:38 296K
coq-stdpp_1.11.0-1.debian.tar.xz 21-Nov-2024 01:47 2772
coq-stdpp_1.11.0-1.dsc 21-Nov-2024 01:47 2076
coq-stdpp_1.11.0-1build1.debian.tar.xz 21-Nov-2024 10:11 2844
coq-stdpp_1.11.0-1build1.dsc 21-Nov-2024 10:11 2075
coq-stdpp_1.11.0-1build2.debian.tar.xz 02-Feb-2025 09:04 2864
coq-stdpp_1.11.0-1build2.dsc 02-Feb-2025 09:04 2075
coq-stdpp_1.11.0-1build3.debian.tar.xz 14-Feb-2025 07:54 2916
coq-stdpp_1.11.0-1build3.dsc 14-Feb-2025 07:54 2075
coq-stdpp_1.11.0-1build4.debian.tar.xz 19-Feb-2025 04:25 2960
coq-stdpp_1.11.0-1build4.dsc 19-Feb-2025 04:25 2075
coq-stdpp_1.11.0-1build5.debian.tar.xz 20-Jun-2025 20:22 2988
coq-stdpp_1.11.0-1build5.dsc 20-Jun-2025 20:22 2075
coq-stdpp_1.11.0.orig.tar.bz2 21-Nov-2024 01:47 251K
coq-stdpp_1.8.0-3build2.debian.tar.xz 17-Feb-2023 01:50 2468
coq-stdpp_1.8.0-3build2.dsc 17-Feb-2023 01:50 2055
coq-stdpp_1.8.0-4build1.debian.tar.xz 26-Jul-2023 12:19 2488
coq-stdpp_1.8.0-4build1.dsc 26-Jul-2023 12:19 2055
coq-stdpp_1.8.0-4build2.debian.tar.xz 06-Nov-2023 23:14 2512
coq-stdpp_1.8.0-4build2.dsc 06-Nov-2023 23:14 2055
coq-stdpp_1.8.0-4build3.debian.tar.xz 23-Nov-2023 07:05 2524
coq-stdpp_1.8.0-4build3.dsc 23-Nov-2023 07:05 2055
coq-stdpp_1.8.0.orig.tar.gz 20-Aug-2022 00:34 249K
coq-stdpp_1.9.0-1.debian.tar.xz 23-Dec-2023 00:26 2596
coq-stdpp_1.9.0-1.dsc 23-Dec-2023 00:26 2066
coq-stdpp_1.9.0-1build1.debian.tar.xz 24-Mar-2024 07:53 2712
coq-stdpp_1.9.0-1build1.dsc 24-Mar-2024 07:53 2181
coq-stdpp_1.9.0-1build2.debian.tar.xz 01-Apr-2024 01:36 2740
coq-stdpp_1.9.0-1build2.dsc 01-Apr-2024 01:36 2181
coq-stdpp_1.9.0-1build3.debian.tar.xz 08-Apr-2024 14:57 2792
coq-stdpp_1.9.0-1build3.dsc 08-Apr-2024 14:57 2144
coq-stdpp_1.9.0.orig.tar.gz 23-Dec-2023 00:26 291K
libcoq-stdpp_1.10.0-1_amd64.deb 02-May-2024 19:38 5M
libcoq-stdpp_1.10.0-1build1_amd64.deb 03-May-2024 03:28 5M
libcoq-stdpp_1.10.0-1build2_amd64.deb 14-May-2024 01:40 5M
libcoq-stdpp_1.10.0-1build3_amd64.deb 15-Jun-2024 22:23 5M
libcoq-stdpp_1.10.0-2_amd64.deb 04-Aug-2024 18:34 5M
libcoq-stdpp_1.10.0-2build1_amd64.deb 15-Aug-2024 14:47 5M
libcoq-stdpp_1.10.0-2build2_amd64.deb 07-Sep-2024 06:05 5M
libcoq-stdpp_1.10.0-2build3_amd64.deb 07-Sep-2024 22:44 5M
libcoq-stdpp_1.11.0-1_amd64.deb 21-Nov-2024 01:48 5M
libcoq-stdpp_1.11.0-1build1_amd64.deb 21-Nov-2024 10:11 5M
libcoq-stdpp_1.11.0-1build2_amd64.deb 02-Feb-2025 09:04 5M
libcoq-stdpp_1.11.0-1build3_amd64.deb 14-Feb-2025 07:54 5M
libcoq-stdpp_1.11.0-1build4_amd64.deb 19-Feb-2025 04:25 5M
libcoq-stdpp_1.11.0-1build5_amd64.deb 20-Jun-2025 20:23 5M
libcoq-stdpp_1.8.0-3build2_amd64.deb 17-Feb-2023 01:50 4M
libcoq-stdpp_1.8.0-4build1_amd64.deb 26-Jul-2023 13:22 4M
libcoq-stdpp_1.8.0-4build2_amd64.deb 06-Nov-2023 23:44 4M
libcoq-stdpp_1.8.0-4build3_amd64.deb 23-Nov-2023 07:05 4M
libcoq-stdpp_1.9.0-1_amd64.deb 23-Dec-2023 05:01 6M
libcoq-stdpp_1.9.0-1build1_amd64.deb 24-Mar-2024 07:53 5M
libcoq-stdpp_1.9.0-1build2_amd64.deb 01-Apr-2024 02:32 5M
libcoq-stdpp_1.9.0-1build3_amd64.deb 08-Apr-2024 14:57 5M