Index of /ubuntu-ports/pool/universe/c/coq-record-update/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-record-update_0.3.3-1build4.debian.tar.xz 22162024-Apr-08 16:57
coq-record-update_0.3.3-1build4.dsc 22262024-Apr-08 16:57
coq-record-update_0.3.3.orig.tar.gz 136442023-Dec-23 02:26
coq-record-update_0.3.4-4build3.debian.tar.xz 23482025-Feb-19 06:25
coq-record-update_0.3.4-4build3.dsc 21472025-Feb-19 06:25
coq-record-update_0.3.4-4build4.debian.tar.xz 23642025-Jun-20 22:22
coq-record-update_0.3.4-4build4.dsc 21472025-Jun-20 22:22
coq-record-update_0.3.4-4build7.debian.tar.xz 24482026-Mar-04 06:25
coq-record-update_0.3.4-4build7.dsc 21472026-Mar-04 06:25
coq-record-update_0.3.4.orig.tar.gz 136462024-May-03 10:55
coq-record-update_0.3.7-3build1.debian.tar.xz 24042026-Aug-27 23:19
coq-record-update_0.3.7-3build1.dsc 21542026-Aug-27 23:19
coq-record-update_0.3.7-3build2.debian.tar.xz 24162026-Aug-30 15:53
coq-record-update_0.3.7-3build2.dsc 21542026-Aug-30 15:53
coq-record-update_0.3.7.orig.tar.gz 188822026-Jul-29 02:29
libcoq-record-update_0.3.3-1build4_arm64.deb 155942024-Apr-08 16:57
libcoq-record-update_0.3.3-1build4_armhf.deb 155762024-Apr-08 16:57
libcoq-record-update_0.3.3-1build4_ppc64el.deb 156022024-Apr-08 16:57
libcoq-record-update_0.3.3-1build4_riscv64.deb 156022024-Apr-08 16:57
libcoq-record-update_0.3.3-1build4_s390x.deb 156002024-Apr-08 16:57
libcoq-record-update_0.3.4-4build3_arm64.deb 154582025-Feb-19 06:25
libcoq-record-update_0.3.4-4build3_ppc64el.deb 154502025-Feb-19 06:26
libcoq-record-update_0.3.4-4build3_riscv64.deb 154442025-Feb-19 09:23
libcoq-record-update_0.3.4-4build3_s390x.deb 154442025-Feb-19 09:24
libcoq-record-update_0.3.4-4build4_arm64.deb 154322025-Jun-20 22:24
libcoq-record-update_0.3.4-4build4_ppc64el.deb 154442025-Jun-20 22:24
libcoq-record-update_0.3.4-4build4_riscv64.deb 154362025-Jun-21 00:15
libcoq-record-update_0.3.4-4build4_s390x.deb 154322025-Jun-20 22:24
libcoq-record-update_0.3.4-4build7_arm64.deb 154142026-Mar-04 06:27
libcoq-record-update_0.3.4-4build7_ppc64el.deb 154302026-Mar-04 06:28
libcoq-record-update_0.3.4-4build7_riscv64.deb 154162026-Mar-04 08:29
libcoq-record-update_0.3.4-4build7_s390x.deb 154162026-Mar-04 06:28
libcoq-record-update_0.3.7-3_ppc64el.deb 206942026-Aug-19 01:48
libcoq-record-update_0.3.7-3_riscv64.deb 206922026-Aug-19 03:01
libcoq-record-update_0.3.7-3_s390x.deb 206702026-Aug-19 02:11
libcoq-record-update_0.3.7-3build1_arm64.deb 207682026-Aug-27 23:20
libcoq-record-update_0.3.7-3build1_armhf.deb 207402026-Aug-27 23:20
libcoq-record-update_0.3.7-3build2_arm64.deb 208022026-Aug-30 16:14
libcoq-record-update_0.3.7-3build2_armhf.deb 207702026-Aug-30 16:14
libcoq-record-update_0.3.7-3build2_ppc64el.deb 207982026-Aug-30 16:14
libcoq-record-update_0.3.7-3build2_riscv64.deb 208042026-Aug-30 17:49
libcoq-record-update_0.3.7-3build2_s390x.deb 207922026-Aug-30 16:14