File information
- Filename: libcoq-reduction-effects_0.1.5-1_armhf.deb
- Path: /raspbian/pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-1_armhf.deb
- Size: 14K (14012 bytes)
- Last modified: Tue, 23 Jan 2024 16:08:01 GMT (Unix time: 1706026081)
Download file from preferred mirror