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, 14 Feb 2023 14:23:42 +0000 (15:23 +0100) | ||
| commit | ce94d5e8d20b4480339edb1ef79a612d5cee0d22 | |
| tree | 66019ef0abf6f8e8e7394895dbe543978362cd17 | tree | snapshot |
| parent | cf8b902e2d3e65a5cbc652e199a6530857efa149 | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |