Debusine
Workspaces
Work requests
Workers
Task status
System
View
Collections
bookworm
View
Search
Log in
agda_2.6.2.2-1.1
Details
Artifact
agda_2.6.2.2-1.1
Category
debian:source-package
Metadata
component
:
main
package
:
agda
section
:
haskell
version
:
2.6.2.2-1.1
bookworm
…
System
…
_system
5 months, 3 weeks ago
BETA