mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-18 19:49:40 +00:00
fb16dfecae
Commit b7f05445c0
has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
4 lines
188 B
Plaintext
4 lines
188 B
Plaintext
Poly/ML is a full implementation of Standard ML available as
|
|
open-source. It includes a symbolic debugger which allows breakpoints
|
|
to be set and local variables to be viewed as ML values.
|