Regarding acl2 Port

2018-04-15 Thread Jackson Isaac
Hi, I was working on updating the acl2 port version from 3.5 to 8.0 There has been lot of changes ever since to upstream. They moved to github and the stable versions are released under 'acl2-devel' username instead of acl2 (upstream). I was thinking to obsolete acl2 and move the new port to acl

Re: [macports-base] 03/03: fetch: Do not redirect stderr

2018-04-15 Thread Rainer Müller
On 2018-04-16 01:31, Ryan Schmidt wrote: > > On Apr 15, 2018, at 11:34, Rainer Müller wrote: > >> Rainer Müller (raimue) pushed a commit to branch vcs-fetch >> in repository macports-base. >> >> >> https://github.com/macports/macports-base/commit/600c6b2c7e03d208eefda5ae25d1f1d0ac58933e >> >> com

Re: [macports-base] 03/03: fetch: Do not redirect stderr

2018-04-15 Thread Ryan Schmidt
On Apr 15, 2018, at 11:34, Rainer Müller wrote: > Rainer Müller (raimue) pushed a commit to branch vcs-fetch > in repository macports-base. > > > https://github.com/macports/macports-base/commit/600c6b2c7e03d208eefda5ae25d1f1d0ac58933e > > commit 600c6b2c7e03d208eefda5ae25d1f1d0ac58933e > > A