Index of /ubuntu/pool/universe/c/coq-stdpp/

../
coq-stdpp_1.7.0-1.debian.tar.xz                    09-Jul-2022 05:18                2228
coq-stdpp_1.7.0-1.dsc                              09-Jul-2022 05:18                2036
coq-stdpp_1.7.0-2.debian.tar.xz                    21-Jul-2022 17:24                2272
coq-stdpp_1.7.0-2.dsc                              21-Jul-2022 17:24                2036
coq-stdpp_1.7.0.orig.tar.gz                        09-Jul-2022 05:18              237656
coq-stdpp_1.8.0-1.debian.tar.xz                    19-Aug-2022 17:34                2300
coq-stdpp_1.8.0-1.dsc                              19-Aug-2022 17:34                2036
coq-stdpp_1.8.0-2.debian.tar.xz                    06-Nov-2022 03:17                2336
coq-stdpp_1.8.0-2.dsc                              06-Nov-2022 03:17                2051
coq-stdpp_1.8.0-2build2.debian.tar.xz              25-Nov-2022 18:40                2428
coq-stdpp_1.8.0-2build2.dsc                        25-Nov-2022 18:40                2050
coq-stdpp_1.8.0-2build3.debian.tar.xz              03-Dec-2022 09:59                2444
coq-stdpp_1.8.0-2build3.dsc                        03-Dec-2022 09:59                2050
coq-stdpp_1.8.0-3.debian.tar.xz                    25-Jan-2023 18:17                2392
coq-stdpp_1.8.0-3.dsc                              25-Jan-2023 18:17                2056
coq-stdpp_1.8.0-3build1.debian.tar.xz              26-Jan-2023 13:54                2456
coq-stdpp_1.8.0-3build1.dsc                        26-Jan-2023 13:54                2055
coq-stdpp_1.8.0-3build2.debian.tar.xz              16-Feb-2023 18:50                2468
coq-stdpp_1.8.0-3build2.dsc                        16-Feb-2023 18:50                2055
coq-stdpp_1.8.0-4.debian.tar.xz                    13-Jun-2023 05:30                2420
coq-stdpp_1.8.0-4.dsc                              13-Jun-2023 05:30                2056
coq-stdpp_1.8.0-4build1.debian.tar.xz              26-Jul-2023 05:19                2488
coq-stdpp_1.8.0-4build1.dsc                        26-Jul-2023 05:19                2055
coq-stdpp_1.8.0.orig.tar.gz                        19-Aug-2022 17:34              254469
coq-stdpp_1.9.0-1.debian.tar.xz                    22-Dec-2023 17:26                2596
coq-stdpp_1.9.0-1.dsc                              22-Dec-2023 17:26                2066
coq-stdpp_1.9.0-1build1.debian.tar.xz              24-Mar-2024 00:53                2712
coq-stdpp_1.9.0-1build1.dsc                        24-Mar-2024 00:53                2181
coq-stdpp_1.9.0.orig.tar.gz                        22-Dec-2023 17:26              297515
libcoq-stdpp_1.7.0-1_amd64.deb                     09-Jul-2022 05:39             4419776
libcoq-stdpp_1.7.0-2_amd64.deb                     21-Jul-2022 17:24             4419574
libcoq-stdpp_1.8.0-1_amd64.deb                     19-Aug-2022 17:34             4680866
libcoq-stdpp_1.8.0-2_amd64.deb                     06-Nov-2022 03:23             4680812
libcoq-stdpp_1.8.0-2build2_amd64.deb               25-Nov-2022 18:41             4711322
libcoq-stdpp_1.8.0-2build3_amd64.deb               03-Dec-2022 09:59             4711346
libcoq-stdpp_1.8.0-3build1_amd64.deb               26-Jan-2023 13:54             4711420
libcoq-stdpp_1.8.0-3build2_amd64.deb               16-Feb-2023 18:50             4708298
libcoq-stdpp_1.8.0-4_amd64.deb                     13-Jun-2023 05:30             4694586
libcoq-stdpp_1.8.0-4build1_amd64.deb               26-Jul-2023 06:22             4694568
libcoq-stdpp_1.9.0-1_amd64.deb                     22-Dec-2023 22:01             6654888
libcoq-stdpp_1.9.0-1build1_amd64.deb               24-Mar-2024 00:53             5249630