projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Jan 2023 20:54:19 +0000 (21:54 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100) | ||
| commit | 092de7ef6a579545cbd6cd1ed1b87126ae2b2a6e | |
| tree | 347c5f23a2697179489035611ebcc53889646ab2 | tree | snapshot |
| parent | 3f873993c09a55fccb9575b6f1331f075e65d380 | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |