diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 15:06:02 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 15:06:02 +0900 |
| commit | f52a27c8d2cb729cceab7a27e49811bcd7026137 (patch) | |
| tree | 42db55de5982d76b463c8aa98d7bef9f09c19246 /tojo-tokyo/packages/acl2.scm | |
| parent | 2a6e02e41663a35d1e499ee36391650c74b41a8b (diff) | |
guile-vikalpa: Update to 0.3.3.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions