projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Jan 2023 21:00:06 +0000 (22:00 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Jan 2023 21:00:06 +0000 (22:00 +0100) | ||
| commit | 7439bd7e1c6089f65f153e1c561b5d3359d61b12 | |
| tree | bf7fac080cb3ed17178d17dadb9413b115b3a21a | tree | snapshot |
| parent | b816e6cca6b58ab19eec648c3f3edfd1b4ea117a | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |