aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages/acl2.scm
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-11 01:47:01 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-11 01:47:01 +0900
commit68d798498aea979127aa5ecc58758ca0aaea0d32 (patch)
tree9881230a55507da718ff82398578dd246884238f /tojo-tokyo/packages/acl2.scm
parent81928ba7cf68382c2f88915c6d56e3d4c82115ee (diff)
guile-tojo-tokyo-monitoring: Version up.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions