projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 2 Jan 2023 23:32:27 +0000 (00:32 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 2 Jan 2023 23:32:27 +0000 (00:32 +0100) | ||
| commit | 50718dc51ba9023f7171f4999020ed0006cded82 | |
| tree | 49816e1ea40fa00292e5779e43eecae18c4cc998 | tree | snapshot |
| parent | c981067b60b389b94fb8a3cd98a557bdfd1beefe | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |