|
.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 flocq 3.4.0.
|
2021-01-03 10:14:27 -07:00 |
