File information
- Filename: libcoq-unimath_20220816-2+b1_armhf.deb
- Path: /raspbian/pool/main/c/coq-unimath/libcoq-unimath_20220816-2+b1_armhf.deb
- Size: 39M (40871124 bytes)
- Last modified: Tue, 23 May 2023 00:56:51 GMT (Unix time: 1684803411)
Download file from preferred mirror