]> git.pld-linux.org Git - packages/why3.git/history - why3.spec
projects / packages / why3.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- drop (x)emacs BRs
[packages/why3.git] / why3.spec
2013-05-14 Jan Rękorajski- drop (x)emacs BRs auto/th/why3-0.73-1 blob | commitdiff | raw
2013-05-14 Jan Rękorajski- updated BRs blob | commitdiff | raw | diff to current
2013-05-14 Jan Rękorajski- new blob | commitdiff | raw | diff to current
Software verification platform
This page took 0.089959 seconds and 10 git commands to generate.