/ubuntu/pool/universe/c/coq-deriving/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
libcoq-deriving_0.2.1-1build5_amd64.deb	545.8 KiB	2025-Feb-20 04:20
coq-deriving_0.2.1-1build5.dsc	2.1 KiB	2025-Feb-19 07:52
coq-deriving_0.2.1-1build5.debian.tar.xz	2.3 KiB	2025-Feb-19 07:52
coq-deriving_0.2.1.orig.tar.gz	31.1 KiB	2024-Dec-18 23:41
libcoq-deriving_0.2.0-3build5_amd64.deb	507.9 KiB	2024-Sep-19 23:39
coq-deriving_0.2.0-3build5.dsc	2.1 KiB	2024-Sep-17 15:51
coq-deriving_0.2.0-3build5.debian.tar.xz	2.3 KiB	2024-Sep-17 15:51
libcoq-deriving_0.2.0-1build5_amd64.deb	479.8 KiB	2024-Apr-08 17:55
coq-deriving_0.2.0-1build5.dsc	2.1 KiB	2024-Apr-08 07:57
coq-deriving_0.2.0-1build5.debian.tar.xz	2.3 KiB	2024-Apr-08 07:57
coq-deriving_0.2.0.orig.tar.gz	30.7 KiB	2023-Dec-25 17:31