On Sun, Jan 24, 2016 at 10:07 PM, Michael McConville wrote:
> Yozo TODA wrote:
>> hi, here is an update for coq from 8.4pl6 to 8.5.
>> I'm working on amd64.
>> anyone please verify this, and commit to the tree?
>
Please don't commit this until I have time to verify with compcert.
On Sun, Jan 24, 2016 at 05:11:34PM -0500, Josh Grosse wrote:
> Additional pledge() calls added for Self-Extracting archives. These
> use a separate executable, which has now been pledged.
>
> Mitigation for CVE-2015-1038, which upstream has not implemented.
> This is Debian's proposed solution.
Yozo TODA wrote:
> +--- configure.ml.origThu Jan 21 01:52:18 2016
> configure.ml Sun Jan 24 23:32:41 2016
> +@@ -843,7 +843,7 @@
> + (** * md5sum command *)
> +
> + let md5sum =
> +- if arch = "Darwin" then "md5 -q" else "md5sum"
> ++ if arch = "Darwin" then "md5 -q" else if arc
Yozo TODA wrote:
> hi, here is an update for coq from 8.4pl6 to 8.5.
> I'm working on amd64.
> anyone please verify this, and commit to the tree?
Thanks for this! I don't have time to fully review at the moment, but:
> -# Order is important!
> -INSTALL_TARGET= install-byte install-id
On Sun, Jan 24, 2016 at 01:30:51PM +0100, Pascal Stumpf wrote:
> On Sun, 24 Jan 2016 20:02:16 +1100, Jonathan Gray wrote:
> > On Sun, Jan 24, 2016 at 09:47:28AM +0100, Pascal Stumpf wrote:
> > > On Sun, 24 Jan 2016 17:03:16 +1100, Jonathan Gray wrote:
> > > > On Sat, Jan 23, 2016 at 07:03:23PM -050
OK?
toolkit integrating intelligent PostgreSQL dbs into Perl
Chris Bennett
p5-PGObject.tar.gz
Description: application/tar-gz
Additional pledge() calls added for Self-Extracting archives. These
use a separate executable, which has now been pledged.
Mitigation for CVE-2015-1038, which upstream has not implemented.
This is Debian's proposed solution.
Debug tokens added to pledge() patches. Today, brynet@ proposed
sev
On Sun, Jan 24, 2016 at 01:28:34PM +0100, Pascal Stumpf wrote:
> On Sun, 24 Jan 2016 04:13:47 +0100, Juan Francisco Cantero Hurtado wrote:
> > On Sun, Jan 24, 2016 at 12:07:03AM +, Stuart Henderson wrote:
> > > I wouldn't say that this works well with gcc. I would recommend against
> > > keepi
Hi,
This diff updates py-socks to the latest release.
Tested on amd64. Take maintainer.
Comments ? OK ?
--
Alexandr Shadchin
Index: Makefile
===
RCS file: /cvs/ports/net/py-socks/Makefile,v
retrieving revision 1.2
diff -u -p -r1.2
Hi,
This diff updates py-certifi to the latest release.
Tested on amd64. Add python3 flavor.
Comments ? OK ?
--
Alexandr Shadchin
Index: Makefile
===
RCS file: /cvs/ports/devel/py-certifi/Makefile,v
retrieving revision 1.6
diff -u
Hi,
ok to import devel/py-sure ?
DESCR:
A testing library for python with powerful and flexible assertions. Sure
is heavily inspired by should.js.
--
Alexandr Shadchin
On Fri, 22 Jan 2016 14:44:48 +, Stuart Henderson
wrote:
> There's this code in lib/scapy/arch/unix.py:in6_getifaddr which
> calls "ifconfig -l" which is expecting to see a list of interfaces:
>
> # List all network interfaces
> try:
> f = os.popen("%s -l" % conf.prog.ifconfig
Hi,
ok to import py-test-benchmark ?
DESCR:
A py.test fixture for benchmarking code. It will group the tests into
rounds that are calibrated to the chosen timer.
--
Alexandr Shadchin
py-test-benchmark.tgz
Description: application/tar-gz
On Sun, 24 Jan 2016 20:36:15 +1100, Jonathan Gray wrote:
> There are projects that use the llvm libraries that take time to update,
> and llvm seems to often make a lot of breaking changes between major
> versions.
>
> This is why there was a llvm port in openbsd-wip (before it was removed
> witho
Hello,
OpenDNSSEC 1.4.9 was recently released.
The announcement:
===
The main motivations for this release are bug fixes related to use
cases with large number of zones (more than 50 zones) in combination
with an XFR based setup. Too much concurrent zone transfers causes new
transfers to be held
On Sun, 24 Jan 2016 04:13:47 +0100, Juan Francisco Cantero Hurtado wrote:
> On Sun, Jan 24, 2016 at 12:07:03AM +, Stuart Henderson wrote:
> > I wouldn't say that this works well with gcc. I would recommend against
> > keeping multiple versions of a port without a good and specific reason.
>
>
On Sun, 24 Jan 2016 13:30:51 +0100, Pascal Stumpf wrote:
> On Sun, 24 Jan 2016 20:02:16 +1100, Jonathan Gray wrote:
> > On Sun, Jan 24, 2016 at 09:47:28AM +0100, Pascal Stumpf wrote:
> > > On Sun, 24 Jan 2016 17:03:16 +1100, Jonathan Gray wrote:
> > > > On Sat, Jan 23, 2016 at 07:03:23PM -0500, Mic
Hi,
This diff updates py-sphinx to the latest release.
Tested on amd64. Add python3 flavor.
Also attached sphinx.diff for dependent ports.
Comments ? OK ?
--
Alexandr Shadchin
Index: Makefile
===
RCS file: /cvs/ports/textproc/py-
On Sun, Jan 24, 2016 at 10:12:54AM +, Stuart Henderson wrote:
> From what I've seen so far, sticking to released versions of LLVM and clang
> (maybe with minor fixes) would help a lot.
>
> What we have at the moment is a snapshot between versions before LLVM started
> requiring c++11. I thi
>From what I've seen so far, sticking to released versions of LLVM and clang
>(maybe with minor fixes) would help a lot.
What we have at the moment is a snapshot between versions before LLVM started
requiring c++11. I think this was useful at the time but I don't think it's so
useful any more
On Sat, Jan 23, 2016 at 05:20:06PM +0100, Rafael Sadowski wrote:
> New updated profanity tarball. Source and changelog on github:
> https://github.com/jasperla/openbsd-wip/tree/master/net/profanity
>
> Thanks for the advice from sthen@ and Raf Czlonka.
>
> Best regards,
>
> Rafael
libstrophe no
On Sun, Jan 24, 2016 at 12:22:15AM +0100, Lampshade wrote:
> I wonder if this port is still usable with current version of Rust and Cargo?
> Rust 1.6 was announced. In previous version of Rust 1.5 there was added
> cargo install
> command to allow install Rust applications to local systems,
> so i
I wonder if this port is still usable with current version of Rust and Cargo?
Rust 1.6 was announced. In previous version of Rust 1.5 there was added
cargo install
command to allow install Rust applications to local systems,
so it becomes more and more complete and stabilized.
I have gone through
There are projects that use the llvm libraries that take time to update,
and llvm seems to often make a lot of breaking changes between major
versions.
This is why there was a llvm port in openbsd-wip (before it was removed
without anyone asking why I added it...) as it was tied to the specific
ve
Setting MODGCC4_VER might work locally but you can't do it this way for
anything that gets committed, it will create a conflict in bulk builds. The
main advantage of having multiple gcc versions is that an arch can be held back
if it doesn't work with the latest version, this shouldn't be a prob
On Sun, Jan 24, 2016 at 01:07:10AM +0100, Rafael Sadowski wrote:
> hey ports@,
>
> a second try to push nomacs tp ports tree. Nomacs is a new Qt4 image viewer
> application. -- http://www.nomacs.org/
>
> All stuff fixed from discussion:
> http://openbsd-archive.7691.n7.nabble.com/NEW-graphics-nom
On Sun, Jan 24, 2016 at 09:47:28AM +0100, Pascal Stumpf wrote:
> On Sun, 24 Jan 2016 17:03:16 +1100, Jonathan Gray wrote:
> > On Sat, Jan 23, 2016 at 07:03:23PM -0500, Michael McConville wrote:
> > > FWIW, I've been running this patch without issue for months. >
> > > Juan Francisco Cantero Hurtado
On Sun, 24 Jan 2016 17:03:16 +1100, Jonathan Gray wrote:
> On Sat, Jan 23, 2016 at 07:03:23PM -0500, Michael McConville wrote:
> > FWIW, I've been running this patch without issue for months. >
> > Juan Francisco Cantero Hurtado wrote: > > Can you modify the
> structure of devel/llvm/ to something
28 matches
Mail list logo