Name
Last modified
Size
Description
Parent Directory
-
coq-deriving_0.2.0-1build5.debian.tar.xz
2024-04-08 08:57
2.3K
TAR compressed archive
coq-deriving_0.2.0-1build5.dsc
2024-04-08 08:57
2.1K
coq-deriving_0.2.0-3build5.debian.tar.xz
2024-09-17 16:51
2.3K
TAR compressed archive
coq-deriving_0.2.0-3build5.dsc
2024-09-17 16:51
2.1K
coq-deriving_0.2.0.orig.tar.gz
2023-12-25 17:31
31K
GZIP compressed TAR archive
coq-deriving_0.2.1-1build5.debian.tar.xz
2025-02-19 07:52
2.3K
TAR compressed archive
coq-deriving_0.2.1-1build5.dsc
2025-02-19 07:52
2.1K
coq-deriving_0.2.1-1build7.debian.tar.xz
2025-05-28 09:21
2.4K
TAR compressed archive
coq-deriving_0.2.1-1build7.dsc
2025-05-28 09:21
2.1K
coq-deriving_0.2.1-1build8.debian.tar.xz
2025-06-19 18:20
2.4K
TAR compressed archive
coq-deriving_0.2.1-1build8.dsc
2025-06-19 18:20
2.1K
coq-deriving_0.2.1.orig.tar.gz
2024-12-18 23:41
31K
GZIP compressed TAR archive
libcoq-deriving_0.2.0-1build5_amd64.deb
2024-04-08 18:55
480K
libcoq-deriving_0.2.0-3build5_amd64.deb
2024-09-20 00:39
508K
libcoq-deriving_0.2.1-1build5_amd64.deb
2025-02-20 04:20
546K
libcoq-deriving_0.2.1-1build7_amd64.deb
2025-05-28 15:51
544K
libcoq-deriving_0.2.1-1build8_amd64.deb
2025-06-20 14:23
545K