|
.gitignore
|
New upstream release.
|
2019-01-26 08:11:16 -07:00 |
|
sources
|
Version 1.3.3.
|
2020-09-26 21:53:58 -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.12.2.
|
2020-12-24 10:56:33 -07:00 |
