Skip to content
GitLab
Explore
Sign in
SMGloM
linear-algebra
Repository
linear-algebra
META-INF
MANIFEST.MF
Find file
Blame
History
Permalink
fixing dependencies in MANIFEST.MF
· c75ddb17
Michael Kohlhase
authored
Sep 18, 2023
c75ddb17