File information
- Filename: libmumps-headers-dev_5.3.5-2_all.deb
- Path: /raspbian/pool/main/m/mumps/libmumps-headers-dev_5.3.5-2_all.deb
- Size: 33K (34132 bytes)
- Last modified: Sat, 20 Mar 2021 10:41:32 GMT (Unix time: 1616236892)
Download file from preferred mirror