|
.gitignore
|
New upstream release.
|
2019-01-26 08:11:16 -07:00 |
|
sources
|
Version 1.3.1.
|
2020-03-25 14:01:51 -06:00 |
|
why3.appdata.xml
|
New upstream release.
|
2019-10-29 08:23:16 -06:00 |
|
why3.desktop
|
New upstream release.
|
2019-10-29 08:23:16 -06:00 |
|
why3.rpmlintrc
|
New upstream release.
|
2019-10-29 08:23:16 -06:00 |
|
why3.spec
|
Rebuild for coq 8.11.1.
|
2020-05-20 10:26:29 -06:00 |
