| 2013-03-09 09:22:30 |
Stefano Rivera |
bug |
|
|
added bug |
| 2013-03-09 09:22:30 |
Stefano Rivera |
attachment added |
|
quotient-remainder-lemmas.o https://bugs.launchpad.net/bugs/1152898/+attachment/3564682/+files/quotient-remainder-lemmas.o |
|
| 2013-03-09 09:22:49 |
Stefano Rivera |
attachment added |
|
quotient-remainder-lemmas.lisp https://bugs.launchpad.net/ubuntu/+source/acl2/+bug/1152898/+attachment/3564683/+files/quotient-remainder-lemmas.lisp |
|
| 2013-03-09 09:23:03 |
Stefano Rivera |
attachment added |
|
quotient-remainder-lemmas.cert https://bugs.launchpad.net/ubuntu/+source/acl2/+bug/1152898/+attachment/3564684/+files/quotient-remainder-lemmas.cert |
|
| 2021-12-09 22:15:40 |
Camm Maguire |
acl2 (Ubuntu): status |
New |
Fix Released |
|
