coq-serapi
- No notes exist for this package. Add some!
- Test history
-
amd64
-
8.20.0+0.20.0-1
in trixie
♻
-
8.20.0+0.20.0-1
in forky
♻
-
8.20.0+0.20.0-1
in unstable
♻
-
-
arm64
-
8.20.0+0.20.0-1
in trixie
♻
-
8.20.0+0.20.0-1
in forky
♻
-
8.20.0+0.20.0-1
in unstable
♻
-
-
armhf
-
8.20.0+0.20.0-1 in trixie
♻
-
depwait
at 2024-11-29 17:30:00 UTC
-
depwait
-
8.20.0+0.20.0-1
in forky
♻
-
8.20.0+0.20.0-1
in unstable
♻
-
- PTS BTS
-
Package source