Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

D

drat-trim
- Activity
- Members
- Labels
- Wiki
- Environments

Snippets Groups Projects

- Debian Science Team
drat-trim

D

drat-trim

Project ID: 94801

Project information

Packaging of the DRAT-trim proof checker: https://github.com/marijnheule/drat-trim

14 Commits
3 Branches
3 Tags

README
MIT License

Created on

October 10, 2024

Select Git revision

0 results

drat-trim

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Copy SSH clone URLgit@salsa.debian.org:science-team/drat-trim.git
Copy HTTPS clone URLhttps://salsa.debian.org/science-team/drat-trim.git

Remove Freexian Packaging Team from uploaders

Sébastien Delafond authored 4 months ago

9029b4b8

9029b4b8 4 months ago

Name	Last commit	Last update