projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 4 Jan 2023 14:38:38 +0000 (15:38 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 4 Jan 2023 14:38:38 +0000 (15:38 +0100) | ||
| commit | a16d01be3144808867e8885b48304f60044e10de | |
| tree | 4f001b5f585f9a025fca0c71f66f5e1bb0130dc2 | tree | snapshot |
| parent | 3736c76f0f281f157ad7e49d8da8372a367ede91 | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |