debile
0/3
Remain

dafny/1.9.7-1

ID
83257
Name
dafny
Version
1.9.7-1
Group
Suite
staging
Component
main
Architectures
all
Arch affinity
amd64
Uploaded
1 year, 5 months ago

(Co-)Maintainers

Benjamin Barenblat <bbaren@mit.edu>

Jobs

Source Job Group
Suite
Builder Status
dafny/​1.9.7-1 lintian [source] default
staging
neon ✓ No errors found
dafny/​1.9.7-1 build [all] default
staging
argon ✓ Uploaded
dafny/​1.9.7-1 lintian [all] default
staging
argon ✓ No errors found

Sitemap

Debian links