Index of /ubuntu-ports/pool/universe/c/coqeal/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-coqeal_2.1.2-2build1_riscv64.deb 73437922026-Sep-21 07:22
libcoq-coqeal_2.1.2-2build1_s390x.deb 73421082026-Sep-20 23:44
libcoq-coqeal_2.1.2-2build1_ppc64el.deb 73439242026-Sep-20 23:44
libcoq-coqeal_2.1.2-2build1_arm64.deb 73439342026-Sep-20 23:44
coqeal_2.1.2-2build1.dsc 21502026-Sep-20 15:48
coqeal_2.1.2-2build1.debian.tar.xz 26322026-Sep-20 15:48
coqeal_2.1.2.orig.tar.gz 2275582026-Jul-30 08:27
libcoq-coqeal_2.1.0-1build9_riscv64.deb 64561102026-Mar-09 17:49
libcoq-coqeal_2.1.0-1build9_s390x.deb 64540942026-Mar-09 17:19
libcoq-coqeal_2.1.0-1build9_ppc64el.deb 64568802026-Mar-09 17:19
libcoq-coqeal_2.1.0-1build9_arm64.deb 64553222026-Mar-09 17:19
coqeal_2.1.0-1build9.debian.tar.xz 26442026-Mar-09 15:58
coqeal_2.1.0-1build9.dsc 21702026-Mar-09 15:58
libcoq-coqeal_2.1.0-1build3_riscv64.deb 64564742025-Sep-04 01:14
libcoq-coqeal_2.1.0-1build3_s390x.deb 64539542025-Sep-02 22:05
libcoq-coqeal_2.1.0-1build3_ppc64el.deb 64570022025-Sep-02 22:05
libcoq-coqeal_2.1.0-1build3_arm64.deb 64553442025-Sep-02 22:04
coqeal_2.1.0-1build3.debian.tar.xz 25202025-Sep-01 04:42
coqeal_2.1.0-1build3.dsc 21702025-Sep-01 04:42
coqeal_2.1.0.orig.tar.gz 2267132025-May-02 01:23
libcoq-coqeal_2.0.3-1build6_riscv64.deb 62042922025-Feb-21 18:52
libcoq-coqeal_2.0.3-1build6_arm64.deb 62038802025-Feb-21 07:38
libcoq-coqeal_2.0.3-1build6_s390x.deb 62047622025-Feb-21 00:14
libcoq-coqeal_2.0.3-1build6_ppc64el.deb 62043582025-Feb-21 00:14
coqeal_2.0.3-1build6.dsc 21702025-Feb-19 16:52
coqeal_2.0.3-1build6.debian.tar.xz 25762025-Feb-19 16:52
coqeal_2.0.3.orig.tar.gz 2170092024-Dec-19 08:41
libcoq-coqeal_2.0.1-1build5_riscv64.deb 55108062024-Apr-09 19:43
libcoq-coqeal_2.0.1-1build5_arm64.deb 55107222024-Apr-09 17:28
libcoq-coqeal_2.0.1-1build5_s390x.deb 55109382024-Apr-09 16:42
libcoq-coqeal_2.0.1-1build5_ppc64el.deb 55109082024-Apr-09 16:42
libcoq-coqeal_2.0.1-1build5_armhf.deb 55050462024-Apr-09 16:42
coqeal_2.0.1-1build5.debian.tar.xz 25602024-Apr-08 16:57
coqeal_2.0.1-1build5.dsc 22492024-Apr-08 16:57
coqeal_2.0.1.orig.tar.gz 2168102024-Jan-21 14:45