File information
- Filename: coq-reglang_1.1.3.orig.tar.gz
- Path: /raspbian/pool/main/c/coq-reglang/coq-reglang_1.1.3.orig.tar.gz
- Size: 65K (67023 bytes)
- Last modified: Fri, 15 Jul 2022 21:06:38 GMT (Unix time: 1657919198)
Download file from preferred mirror