File information
- Filename: coq-deriving_0.1.0.orig.tar.gz
- Path: /raspbian/pool/main/c/coq-deriving/coq-deriving_0.1.0.orig.tar.gz
- Size: 29K (29290 bytes)
- Last modified: Sat, 16 Jul 2022 07:56:41 GMT (Unix time: 1657958201)
Download file from preferred mirror