Index of /ubuntu/pool/universe/c/coq-iris/
../
coq-iris_3.6.0-1.debian.tar.xz 18-Jul-2022 23:49 11856
coq-iris_3.6.0-1.dsc 18-Jul-2022 23:49 2147
coq-iris_3.6.0-1build1.debian.tar.xz 21-Jul-2022 22:34 11948
coq-iris_3.6.0-1build1.dsc 21-Jul-2022 22:34 2146
coq-iris_3.6.0.orig.tar.gz 18-Jul-2022 23:49 665224
coq-iris_4.0.0-1.debian.tar.xz 19-Aug-2022 17:34 11904
coq-iris_4.0.0-1.dsc 19-Aug-2022 17:34 2158
coq-iris_4.0.0-2.debian.tar.xz 06-Nov-2022 03:17 11944
coq-iris_4.0.0-2.dsc 06-Nov-2022 03:17 2147
coq-iris_4.0.0-2build1.debian.tar.xz 25-Nov-2022 18:40 12008
coq-iris_4.0.0-2build1.dsc 25-Nov-2022 18:40 2146
coq-iris_4.0.0-2build2.debian.tar.xz 03-Dec-2022 12:29 12036
coq-iris_4.0.0-2build2.dsc 03-Dec-2022 12:29 2146
coq-iris_4.0.0-3.debian.tar.xz 26-Jan-2023 17:29 11980
coq-iris_4.0.0-3.dsc 26-Jan-2023 17:29 2152
coq-iris_4.0.0-3build1.debian.tar.xz 16-Feb-2023 18:50 12040
coq-iris_4.0.0-3build1.dsc 16-Feb-2023 18:50 2151
coq-iris_4.0.0-3build2.debian.tar.xz 13-Jun-2023 09:04 12060
coq-iris_4.0.0-3build2.dsc 13-Jun-2023 09:04 2151
coq-iris_4.0.0-4.debian.tar.xz 13-Jun-2023 11:34 12004
coq-iris_4.0.0-4.dsc 13-Jun-2023 11:34 2152
coq-iris_4.0.0-4build1.debian.tar.xz 26-Jul-2023 05:19 12072
coq-iris_4.0.0-4build1.dsc 26-Jul-2023 05:19 2151
coq-iris_4.0.0.orig.tar.gz 19-Aug-2022 17:34 701165
coq-iris_4.1.0-1.debian.tar.xz 23-Dec-2023 17:16 12072
coq-iris_4.1.0-1.dsc 23-Dec-2023 17:16 2162
coq-iris_4.1.0-1build1.debian.tar.xz 25-Mar-2024 18:52 12196
coq-iris_4.1.0-1build1.dsc 25-Mar-2024 18:52 2277
coq-iris_4.1.0.orig.tar.gz 23-Dec-2023 17:16 749982
libcoq-iris_3.6.0-1_amd64.deb 19-Jul-2022 01:08 13026392
libcoq-iris_3.6.0-1build1_amd64.deb 21-Jul-2022 22:53 13025970
libcoq-iris_4.0.0-1_amd64.deb 19-Aug-2022 19:03 13498860
libcoq-iris_4.0.0-2_amd64.deb 06-Nov-2022 03:21 13499742
libcoq-iris_4.0.0-2build1_amd64.deb 25-Nov-2022 18:41 13567552
libcoq-iris_4.0.0-2build2_amd64.deb 03-Dec-2022 12:29 13567632
libcoq-iris_4.0.0-3_amd64.deb 26-Jan-2023 17:54 13569720
libcoq-iris_4.0.0-3build1_amd64.deb 16-Feb-2023 20:44 13558902
libcoq-iris_4.0.0-3build2_amd64.deb 13-Jun-2023 10:04 13535742
libcoq-iris_4.0.0-4_amd64.deb 13-Jun-2023 12:04 13535926
libcoq-iris_4.0.0-4build1_amd64.deb 26-Jul-2023 07:55 13537716
libcoq-iris_4.1.0-1_amd64.deb 23-Dec-2023 17:56 17169022
libcoq-iris_4.1.0-1build1_amd64.deb 25-Mar-2024 19:43 13811396