Hello, I'm not on the list, reply me directly. Note I'm not a Maude
user/developer.
Current source:
http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.7.tar.gz
Homepage:
http://maude.cs.illinois.edu/
--- ---
Eduardo Morras
___
freebsd-ports@free
On Fri, 8 Jul 2016 13:08:33 +0200
Kurt Jaeger wrote:
> Hello,
>
> > Hello, I'm not on the list, reply me directly. Note I'm not a
> > Maude user/developer.
> >
> > Current source:
> >
> > http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.7.tar.gz
> >
> > Homepage:
> >
> > http://maude.cs.il
Sorry for commenting on this reply to Greg to answer Shane Ambler, I
joined maillist today.
On Fri, 14 Oct 2016 09:26:03 +1100
Greg 'groggy' Lehey wrote:
> On Thursday, 13 October 2016 at 18:13:39 +1030, Shane Ambler wrote:
> > On 13/10/2016 15:09, reko.turja--- via freebsd-ports wrote:
> >> On
On Sat, 22 Oct 2016 13:45:10 +1100
andrew clarke wrote:
> At the risk of this developing into a flame war, I thought this was
> curious:
>
> https://lists.freebsd.org/pipermail/svn-ports-head/2016-August/126687.html
>
> Is this the first time a port has been deleted for being "offensive"?
>Fro
On Sun, 23 Oct 2016 16:51:12 +0200 (CEST)
Henk van Oers wrote:
>
> A sword is a bladed weapon intended for slashing or thrusting.
>
> And also: "Framework for manipulating Bible texts"
>
> Is that what misc/jive does?
>
> You can not kill with a jive
> but you can kill with manipulating bible
On Fri, 13 Jan 2017 13:43:50 -0800
wrote:
>
> My point is that it might be a good idea to commit SCTP support
> into base system's openssh. Then we(I) won't need the port at all.
> The protocol first appeared in FreeBSD, yet there is not a single
> program that uses it. This can change.
I use i
On Thu, 12 Oct 2017 20:19:02 +0200
Vidar Karlsen wrote:
>
> > On 12 Oct 2017, at 19:50, Jos Chrispijn
> > wrote:
> >
> > Op 12-10-2017 om 7:39 schreef Vidar Karlsen:
> >> Also check if your current work dir has been deleted,
> > Do you mean my BSD workdir like /temp or do you refer to the
> >
