File information
- Filename: libcoq-mathcomp-real-closed_2.0.0-2_armhf.deb
- Path: /raspbian/pool/main/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.0-2_armhf.deb
- Size: 2.3M (2408356 bytes)
- Last modified: Mon, 24 Jun 2024 10:08:07 GMT (Unix time: 1719223687)
Download file from preferred mirror