[MacPorts] #48530: acl2: fetch failure
MacPorts
noreply at macports.org
Sat Aug 8 13:20:47 PDT 2015
#48530: acl2: fetch failure
----------------------------+--------------------------------
Reporter: watsonbladd@… | Owner: macports-tickets@…
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Resolution: duplicate | Keywords:
Port: acl2 |
----------------------------+--------------------------------
Comment (by watsonbladd@…):
Replying to [comment:3 ionic@…]:
> Let's call this a duplicate of #46257... (I will also update the other
ticket.)
>
> A personal question: Do you really *need* ACL2?
The Little Schemer provides J-Bob, but Dracula requires a separate ACL2
program. I suppose I should learn Coq one of these days.
--
Ticket URL: <https://trac.macports.org/ticket/48530#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list