Activity · Jakob Albert / Coq Packages · GitLab

Snippets Groups Projects

1 year ago

Jakob Albert @jaalbert

pushed to branch main at Jakob Albert / Coq Packages

aa24c0cc · Add mws_harvest.harvest

2 years ago

Jakob Albert @jaalbert

pushed to branch deployment at Jakob Albert / Coq Packages

eb6dcd15 · Use HTTPS for submodules
... and 2 more commits. Compare 705338fa...eb6dcd15

2 years ago

Jakob Albert @jaalbert

pushed to branch main at Jakob Albert / Coq Packages

66b518db · Sort narration.ndjson
... and 1 more commit. Compare 9f195124...66b518db

2 years ago

Jakob Albert @jaalbert

pushed new branch deployment at Jakob Albert / Coq Packages

2 years ago

Jakob Albert @jaalbert

pushed to branch main at Jakob Albert / Coq Packages

9f195124 · Update narration.json

2 years ago

Jakob Albert @jaalbert

pushed to branch main at Jakob Albert / Coq Packages

4cc07606 · Add coq-packages.json

2 years ago

Jakob Albert @jaalbert

pushed to branch main at Jakob Albert / Coq Packages

11864b13 · Add extracted narration
... and 3 more commits. Compare 898ed6ce...11864b13

2 years ago

Jakob Albert @jaalbert

pushed new branch main at Jakob Albert / Coq Packages

2 years ago

Jakob Albert @jaalbert

created project Jakob Albert / Coq Packages