golang-uber-automaxprocs-dev <-> proofgeneral

Version of golang-uber-automaxprocs-dev: 1.5.3-1

Architecture of golang-uber-automaxprocs-dev: all

Version of proofgeneral: 4.5-3

Architecture of proofgeneral: all

golang-uber-automaxprocs-devproofgeneral
sizefilenamehash functionsfilename
2 B./usr/share/gocode/src/go.uber.org/automaxprocs/internal/cgroups/testdata/cgroups/zero-period/cpu.cfs_period_us sha512./usr/lib/emacsen-common/packages/compat/proofgeneral

Details about this service