projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 5 Jan 2023 11:03:10 +0000 (12:03 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100) | ||
| commit | 85ced2245b24d2542b564a8240e0e0a65f24fed3 | |
| tree | 0d88ed80f61ae9efc2eed6717a2efca205580d37 | tree | snapshot |
| parent | 3e9d5de04678d7edfaf6a7065cc4c84217adcac4 | commit | diff |
| matita/components/registry/dune | diff | blob | history | |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |