projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Jan 2023 20:58:58 +0000 (21:58 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Jan 2023 20:58:58 +0000 (21:58 +0100) | ||
| commit | b816e6cca6b58ab19eec648c3f3edfd1b4ea117a | |
| tree | b3b37deafe0bee0e39d6b590a8cc609cc9a9c34b | tree | snapshot |
| parent | 4006128c2b9bca3bec67d4d978578438d5526943 | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |