]> git.pld-linux.org Git - packages/why3.git/commit
projects / packages / why3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b69ad0e) | patch
Release 4 (by relup.sh) master auto/th/why3-1.4.0-4
authorJan Rękorajski <baggins@pld-linux.org>
Sat, 22 Jan 2022 08:53:42 +0000 (09:53 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sat, 22 Jan 2022 08:53:42 +0000 (09:53 +0100)
commit8f12d2a907fe66b624dc807a6cc229966b51be7d
treec1c9164d25b4513df6cbbeb206c2a6e13904469atree | snapshot
parentb69ad0e02104a4655169728b36d6a4c0019047ebcommit | diff
Release 4 (by relup.sh)
why3.spec diff | blob | blame | history
Software verification platform
This page took 0.064067 seconds and 4 git commands to generate.