projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 2 Jan 2023 23:20:01 +0000 (00:20 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Feb 2023 14:23:41 +0000 (15:23 +0100) | ||
| commit | 06eab86fdb4d35208415589b0371cc4343a59ee6 | |
| tree | 91162267457b8d10a5f018ae91e276ebe572ea90 | tree | snapshot |
| parent | 2e2ba53f414edb0018f7599a0dfd646520ad838b | commit | diff |
| matita/matita.install | [new file with mode: 0644] | blob |
| matita/matita.opam | diff | blob | history | |
| matita/matita/dune | diff | blob | history |