Skip to content
GitLab
Explore
Sign in
sTeX
Logic
TypeTheory
Repository
Branches
Overview
Active
Stale
All
Stale branches
devel
0379192d
·
merge
·
Mar 20, 2023
main
default
protected
adea45c5
·
fixing the dependencies in MANIFEST.MF: computing with smglom/meta-inf/bin/dependencies.py
·
Apr 24, 2023