coqeal (1.1.1-3) [PTS] [DDPO]
ERROR:- Git: https://salsa.debian.org/ocaml-team/coq-coqeal.git
- Path: debian/changelog
- Repo size:
- Browser: https://salsa.debian.org/ocaml-team/coq-coqeal
- Last scan: 2023-05-30 20:31:15+00
- Error: fatal: could not read Username for 'https://salsa.debian.org': No such device or address
- Next scan: 2023-06-07 20:30:00+00