aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages/acl2.scm
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-10 23:02:27 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-10 23:02:27 +0900
commit442f61222b41e83740b9f275885931aa9b7a365e (patch)
tree477408eaad90c3019816a5d70a777dee5058930e /tojo-tokyo/packages/acl2.scm
parentef658340095cfdc960b05141454dedd915c24c6c (diff)
guile-tojo-tokyo-monitoring: Add gnutls to inputs.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions