| Parent Directory/ | | - | Directory |
| coq-deriving_0.2.1-1.debian.tar.xz | 2024-Dec-18 17:08:00 | 2.1K | application/octet-stream |
| coq-deriving_0.2.1-1.dsc | 2024-Dec-18 17:08:00 | 2.0K | application/octet-stream |
| coq-deriving_0.2.1.orig.tar.gz | 2024-Dec-18 17:08:00 | 31.1K | application/x-gzip |
| libcoq-deriving_0.2.1-1+b6_amd64.deb | 2025-Mar-18 19:46:29 | 482.7K | application/octet-stream |
| libcoq-deriving_0.2.1-1+b6_arm64.deb | 2025-Mar-18 20:12:09 | 482.5K | application/octet-stream |
| libcoq-deriving_0.2.1-1+b7_amd64.deb | 2025-Jun-15 06:21:40 | 482.1K | application/octet-stream |
| libcoq-deriving_0.2.1-1+b7_arm64.deb | 2025-Jun-15 09:38:50 | 482.3K | application/octet-stream |