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, 3 Jan 2023 20:54:19 +0000 (21:54 +0100) | ||
| commit | 4006128c2b9bca3bec67d4d978578438d5526943 | |
| tree | fe1e42f6f77c3c00faac3a4839fd03b8493406eb | tree | snapshot |
| parent | 1f512883ed334e73c05f8476005ae95c64907a55 | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |