diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 16:39:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 16:39:01 +0900 |
| commit | d6be7d12203a3631d02cfde4976932af2d0b92fb (patch) | |
| tree | 6481cd8e96087d4c3436787d2764aff729b59887 /tojo-tokyo/packages/acl2.scm | |
| parent | f52a27c8d2cb729cceab7a27e49811bcd7026137 (diff) | |
guile-vikalpa: Update to 0.3.4.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions