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> | |
| Mon, 2 Jan 2023 23:20:01 +0000 (00:20 +0100) | ||
| commit | c981067b60b389b94fb8a3cd98a557bdfd1beefe | |
| tree | ba268180e95c984f93b95c9849b782db64c004f7 | tree | snapshot |
| parent | 2d68b251191d8efd11e7103be526ed7d028324d3 | commit | diff |
| matita/matita.install | [new file with mode: 0644] | blob |
| matita/matita.opam | diff | blob | history | |
| matita/matita/dune | diff | blob | history |