On Sat Jul 11, 2020 at 08:03:44PM -0400, Daniel Dickman wrote:
>
>
> On Wed, 8 Jul 2020, deserter...@danwin1210.me wrote:
>
> > Hey I've made the appropriate changes and reattched the port.
> >
>
> Attached tarball has 2 minor changes on top of yours:
>
> 1) license should be GPLv2+
> 2) I
On Wed, 8 Jul 2020, deserter...@danwin1210.me wrote:
> Hey I've made the appropriate changes and reattched the port.
>
Attached tarball has 2 minor changes on top of yours:
1) license should be GPLv2+
2) I did the edits from /bin/bash to /bin/sh in post-extract which is a
bit cleaner (fewer
On Tue, July 7, 2020 11:47 pm, Daniel Dickman wrote:
>
>
> seems like it does everything except classify the finite simple groups
> :-)
>
>
> It's a nice port, but I had a few minor suggestions:
Appreciate the feedback :)
> 1) I simplified the top of the Makefile so there's only one place for the
On Tue, 7 Jul 2020, deserter...@danwin1210.me wrote:
> Hey, this is a new port math/4ti2, I hope someone takes this one quick,
> all the test passed on amd64, I've a few ports around which depend on it.
>
> 4ti2 is a software package for algebraic, geometric and combinatorial
> problems
> on
Hey, this is a new port math/4ti2, I hope someone takes this one quick,
all the test passed on amd64, I've a few ports around which depend on it.
4ti2 is a software package for algebraic, geometric and combinatorial
problems
on linear spaces. It computes
* the circuits of a cone
* a problem
