Index of /pub/ubuntu/pool/universe/c/coq-iris/
../
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-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-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-1build3.debian.tar.xz 08-Apr-2024 07:57 12280
coq-iris_4.1.0-1build3.dsc 08-Apr-2024 07:57 2240
coq-iris_4.1.0.orig.tar.gz 23-Dec-2023 17:16 749982
coq-iris_4.2.0-1.debian.tar.xz 02-May-2024 11:53 12108
coq-iris_4.2.0-1.dsc 02-May-2024 11:53 2162
coq-iris_4.2.0-1build1.debian.tar.xz 02-May-2024 20:28 12176
coq-iris_4.2.0-1build1.dsc 02-May-2024 20:28 2161
coq-iris_4.2.0-1build2.debian.tar.xz 13-May-2024 18:39 12208
coq-iris_4.2.0-1build2.dsc 13-May-2024 18:39 2161
coq-iris_4.2.0-2.debian.tar.xz 10-Jun-2024 23:38 12496
coq-iris_4.2.0-2.dsc 10-Jun-2024 23:38 2162
coq-iris_4.2.0-2build1.debian.tar.xz 15-Jun-2024 14:43 12560
coq-iris_4.2.0-2build1.dsc 15-Jun-2024 14:43 2161
coq-iris_4.2.0-3.debian.tar.xz 04-Aug-2024 11:34 12648
coq-iris_4.2.0-3.dsc 04-Aug-2024 11:34 1930
coq-iris_4.2.0-3build1.debian.tar.xz 15-Aug-2024 07:47 12712
coq-iris_4.2.0-3build1.dsc 15-Aug-2024 07:47 2161
coq-iris_4.2.0-3build2.debian.tar.xz 07-Sep-2024 07:08 12776
coq-iris_4.2.0-3build2.dsc 07-Sep-2024 07:08 2161
coq-iris_4.2.0-3build3.debian.tar.xz 07-Sep-2024 19:04 12772
coq-iris_4.2.0-3build3.dsc 07-Sep-2024 19:04 2161
coq-iris_4.2.0.orig.tar.gz 02-May-2024 11:53 764668
coq-iris_4.3.0-1.debian.tar.xz 20-Nov-2024 18:47 12660
coq-iris_4.3.0-1.dsc 20-Nov-2024 18:47 2165
coq-iris_4.3.0.orig.tar.bz2 20-Nov-2024 18:47 622627
libcoq-iris_4.0.0-1_amd64.deb 19-Aug-2022 19:03 13498860
libcoq-iris_4.0.0-3build1_amd64.deb 16-Feb-2023 20:44 13558902
libcoq-iris_4.0.0-4build1_amd64.deb 26-Jul-2023 07:55 13537716
libcoq-iris_4.1.0-1build3_amd64.deb 08-Apr-2024 13:14 13811948
libcoq-iris_4.2.0-1build1_amd64.deb 02-May-2024 22:58 14703778
libcoq-iris_4.2.0-1build2_amd64.deb 13-May-2024 19:24 14704476
libcoq-iris_4.2.0-2_amd64.deb 11-Jun-2024 00:24 14702382
libcoq-iris_4.2.0-2build1_amd64.deb 15-Jun-2024 16:49 14572588
libcoq-iris_4.2.0-3_amd64.deb 04-Aug-2024 16:09 14574670
libcoq-iris_4.2.0-3build1_amd64.deb 15-Aug-2024 10:32 14578280
libcoq-iris_4.2.0-3build2_amd64.deb 07-Sep-2024 08:10 14578664
libcoq-iris_4.2.0-3build3_amd64.deb 07-Sep-2024 19:05 14578072
libcoq-iris_4.3.0-1_amd64.deb 21-Nov-2024 08:16 14529954