Mirror operated by University of Calgary Department of Computer Science
Send questions and comments to cpsc.uls@ucalgary.ca
Send questions and comments to cpsc.uls@ucalgary.ca
| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| why_2.40-3.debian.tar.xz | 11.6 KiB | 2018-May-17 12:13 | |
| why_2.40-3.dsc | 2.3 KiB | 2018-May-17 12:13 | |
| why_2.40.orig.tar.gz | 1.4 MiB | 2018-May-17 12:13 | |
| libwhy-coq_2.40-3_all.deb | 50.6 KiB | 2018-May-17 12:13 | |
| why_2.40-3+b1_arm64.deb | 3.5 MiB | 2018-Nov-23 00:00 | |
| why_2.40-3+b1_armhf.deb | 3.1 MiB | 2018-Nov-23 00:01 | |
| why_2.40-3+b1_amd64.deb | 3.3 MiB | 2018-Nov-23 00:01 | |
| why_2.40-3+b1_i386.deb | 3.0 MiB | 2018-Nov-23 00:01 | |