diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-17 00:12:10 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-17 00:12:10 +0900 |
| commit | 78df0d96f29eb472370a4d0346e2a798499dbbd1 (patch) | |
| tree | 0effab83157f5dd701d50b7f9676dc2ef35ac1cd /tojo-tokyo/packages/acl2.scm | |
| parent | d6be7d12203a3631d02cfde4976932af2d0b92fb (diff) | |
guile-vikalpa: Update to 0.3.5.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions