File information
- Filename: libcoq-reduction-effects_0.1.4-3+b2_armhf.deb
- Path: /raspbian/pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.4-3+b2_armhf.deb
- Size: 14K (14100 bytes)
- Last modified: Sun, 21 May 2023 01:16:59 GMT (Unix time: 1684631819)
Download file from preferred mirror