Index of /ubuntu-ports/pool/universe/c/coq-iris/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-iris_4.0.0-3build1.debian.tar.xz2023-Feb-17 02:50:1611.7Kapplication/x-xz
coq-iris_4.0.0-3build1.dsc2023-Feb-17 02:50:162.1Kapplication/octet-stream
coq-iris_4.0.0-4build1.debian.tar.xz2023-Jul-26 13:19:3411.8Kapplication/x-xz
coq-iris_4.0.0-4build1.dsc2023-Jul-26 13:19:342.1Kapplication/octet-stream
coq-iris_4.0.0.orig.tar.gz2022-Aug-20 01:34:16684.7Kapplication/gzip
coq-iris_4.1.0-1build3.debian.tar.xz2024-Apr-08 15:57:3911.9Kapplication/x-xz
coq-iris_4.1.0-1build3.dsc2024-Apr-08 15:57:392.1Kapplication/octet-stream
coq-iris_4.1.0.orig.tar.gz2023-Dec-24 01:16:58732.4Kapplication/gzip
coq-iris_4.2.0-3build3.debian.tar.xz2024-Sep-08 03:04:3312.4Kapplication/x-xz
coq-iris_4.2.0-3build3.dsc2024-Sep-08 03:04:332.1Kapplication/octet-stream
coq-iris_4.2.0.orig.tar.gz2024-May-02 19:53:15746.7Kapplication/gzip
libcoq-iris_4.0.0-3build1_arm64.deb2023-Feb-17 04:13:5812.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-3build1_armhf.deb2023-Feb-17 04:44:3012.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-3build1_ppc64el.deb2023-Feb-17 05:50:2512.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-3build1_riscv64.deb2023-Feb-17 11:08:5912.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-3build1_s390x.deb2023-Feb-17 05:50:2612.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-4build1_arm64.deb2023-Jul-26 15:55:4012.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-4build1_armhf.deb2023-Jul-26 17:58:4912.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-4build1_ppc64el.deb2023-Jul-26 16:54:2512.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-4build1_riscv64.deb2023-Jul-26 21:07:2112.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.0.0-4build1_s390x.deb2023-Jul-26 16:54:2712.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.1.0-1build3_arm64.deb2024-Apr-08 21:14:4813.1Mapplication/vnd.debian.binary-package
libcoq-iris_4.1.0-1build3_armhf.deb2024-Apr-08 21:14:5713.1Mapplication/vnd.debian.binary-package
libcoq-iris_4.1.0-1build3_ppc64el.deb2024-Apr-08 21:15:2213.1Mapplication/vnd.debian.binary-package
libcoq-iris_4.1.0-1build3_riscv64.deb2024-Apr-08 23:21:4713.1Mapplication/vnd.debian.binary-package
libcoq-iris_4.1.0-1build3_s390x.deb2024-Apr-08 21:15:4113.1Mapplication/vnd.debian.binary-package
libcoq-iris_4.2.0-3build3_arm64.deb2024-Sep-08 03:58:4713.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.2.0-3build3_ppc64el.deb2024-Sep-08 03:05:0613.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.2.0-3build3_riscv64.deb2024-Sep-08 06:23:1513.9Mapplication/vnd.debian.binary-package
libcoq-iris_4.2.0-3build3_s390x.deb2024-Sep-08 03:05:0713.9Mapplication/vnd.debian.binary-package
lighttpd/1.4.35