Skip to content
GitLab
Explore
Sign in
Register
debian/1.0+8.16-2
Julien Puydt
@jpuydt
fbd132f8
·
Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev
·
Jan 25, 2023
Unverified
debian/1.0+8.16-2
