-
Update standards version to 4.6.2, no changes needed.
Debian Janitor
1 year, 3 months ago
-
Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
Debian Janitor
1 year, 3 months ago
-
debian/copyright: use spaces rather than tabs to start continuation lines.
Debian Janitor
1 year, 3 months ago
-
Update lintian override info to new format:
Debian Janitor
1 year, 3 months ago
-
Prepare for upload
Julien Puydt
1 year, 5 months ago
-
Remove lintian overrides
Julien Puydt
1 year, 5 months ago
-
Package new upstream 8.16.1
Julien Puydt
1 year, 5 months ago
-
Prepare for upload
Julien Puydt
1 year, 7 months ago
-
Refresh patches
Julien Puydt
1 year, 7 months ago
-
Package new upstream 8.16.0
Julien Puydt
1 year, 7 months ago
-
Add explicit b-dep on libfindlib-ocaml-dev
Julien Puydt
1 year, 8 months ago
-
Prepare for upload
Julien Puydt
1 year, 10 months ago
-
Use dh-coq
Julien Puydt
1 year, 10 months ago
-
Prepare for upload
Julien Puydt
1 year, 11 months ago
-
Package new upstream 8.15.2
Julien Puydt
1 year, 11 months ago
-
Prepare for upload
Julien Puydt
1 year, 11 months ago
-
Bump standards-version to 4.6.1
Julien Puydt
1 year, 11 months ago
-
Add a patch to fix a typo
Julien Puydt
1 year, 11 months ago
-
Don't strip everything!
Julien Puydt
1 year, 11 months ago
-
Prepare for upload
Julien Puydt
2 years ago
-
Refresh patches
Julien Puydt
2 years ago
-
Package new upstream 8.15.1
Julien Puydt
2 years ago
-
Better d/watch
Julien Puydt
2 years ago
-
Prepare for upload
Julien Puydt
2 years ago
-
Rework binary packages so they follow more closely upstream's
Julien Puydt
2 years ago
-
Remove build conflicts on libcoq-ocaml
Julien Puydt
2 years ago
-
Prepare for upload
Julien Puydt
2 years ago
-
Refresh lintian overrides
Julien Puydt
2 years ago
-
Refresh patches
Julien Puydt
2 years ago
-
Package new upstream 8.15.0 (Closes: #1003586)
Julien Puydt
2 years ago