Re: minor cleanup for math/coq

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 thanks Daniel, I found "minor cleanup" is already checked in. I don't have enough resource now to try the update yet, but please go ahead to 8.6 update. > i'm not an opam expert but i think this makes more sense for ocaml modules > than for

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: gonz...@cvs.openbsd.org 2017/02/25 22:24:59 Modified files: security/lynis : Makefile distinfo security/lynis/pkg: PLIST Log message: Upgrade for Lynis to 2.4.3 OK benoit@

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: na...@cvs.openbsd.org 2017/02/25 15:08:42 Modified files: devel/imake-cf : Makefile devel/imake-cf/patches: patch-OpenBSD_cf Log message: Make c++ the default C++ compiler on OpenBSD instead of the fallback value of

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: st...@cvs.openbsd.org 2017/02/25 14:52:25 Modified files: emulators/dynamips: Makefile Log message: dynamips' JIT requires W+X, mark the binary as appropriate. pointed out by Brune Gruel, thanks.

make devel/cpphs ghc-only

Hi, the diff below should make devel/cpphs ghc-only. This is needed because of the removal of lang/nhc98. It would be nice if anyone with a clean (wrt hs-port) tree could give this a try on amd64 or i386 -- my tree is too polluted with diffs related to a ghc update ;-) Ciao, Kili

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: na...@cvs.openbsd.org 2017/02/25 13:44:13 Modified files: graphics/inkscape: Makefile Log message: add missing autotool dependencies; from maintainer Rafael Sadowski

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: na...@cvs.openbsd.org 2017/02/25 13:37:36 Modified files: devel : Makefile devel/quirks : Makefile devel/quirks/files: Quirks.pm lang : Makefile security : Makefile

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ben...@cvs.openbsd.org 2017/02/25 13:35:31 Modified files: devel/git : Makefile distinfo devel/git/patches: patch-Makefile patch-t_t1450-fsck_sh patch-t_test-lib_sh devel/git/pkg

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: k...@cvs.openbsd.org2017/02/25 13:15:46 Modified files: devel/quirks : Makefile devel/quirks/files: Quirks.pm Log message: Oops! It's hugs98, not hugs.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: k...@cvs.openbsd.org2017/02/25 13:07:42 Modified files: devel/quirks : Makefile devel/quirks/files: Quirks.pm Log message: hugs is gone.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: k...@cvs.openbsd.org2017/02/25 13:04:57 Removed files: lang/hugs : Makefile distinfo lang/hugs/patches: patch-configure patch-docs_users_guide_Makefile_in

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: k...@cvs.openbsd.org2017/02/25 13:04:05 Modified files: lang : Makefile Log message: Unhook lang/hugs.

Re: Remove !LP64 ports (was: Re: shells/{scsh,yash} lacks @shell marker in PLIST)

Hi, On Sat, Feb 25, 2017 at 03:07:34PM +, Christian Weisgerber wrote: > Actually, I suggest that we remove all remaining ports that are marked > NOT_FOR_ARCHS=${LP64_ARCHS}: > > lang/nhc98 > security/logsurfer > shells/scsh Ok at least for lang/nhc98 (can't speak for the others). Ciao,

Re: Remove !LP64 ports

Hi, On 2017-02-25 at 16:47 +0100 Jeremie Courreges-Anglas wrote: >Antoine Jacoutot writes: > >> On Sat, Feb 25, 2017 at 03:07:34PM +, Christian Weisgerber wrote: >>> Actually, I suggest that we remove all remaining ports that are marked >>>

Re: [rc] emacs-25.2-rc2

Jeremie Courreges-Anglas writes: > Hi, > > here's a update to the first 25.2 RC. no_x11 works fine for me on > amd64 and arm. As usual, this is an RC so it is not intended for > commit, but early tests are welcome. Thanks for the reports so far. Diff for -rc2, no code change

Re: Remove !LP64 ports

On 2017 Feb 25 (Sat) at 16:47:39 +0100 (+0100), Jeremie Courreges-Anglas wrote: :Antoine Jacoutot writes: : :> On Sat, Feb 25, 2017 at 03:07:34PM +, Christian Weisgerber wrote: :>> On 2017-02-24, Christian Weisgerber wrote: :>> :>> >> Additionally,

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: dan...@cvs.openbsd.org 2017/02/25 11:58:04 Modified files: math/coq : Makefile Log message: Minor cleanup: - http -> https - drop gettext module ok shadchin@, tb@

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: shadc...@cvs.openbsd.org2017/02/25 10:58:33 Modified files: textproc/py-unidecode: Makefile distinfo textproc/py-unidecode/pkg: PLIST Log message: Update to py-unidecode 0.04.20 ok benoit@

Re: NEW: textproc/py-podcastparser

Stuart Henderson wrote: > On 2017/02/24 20:47, trondd wrote: > > On Thu, February 23, 2017 11:26 pm, trondd wrote: > > > This is new dependency for net/gpodder. They replaced py-feedparser with > > > their own parser. > > > > > > Pretty simple so I wouldn't be surprised if

Re: NEW: security/dicepassc

On Wed, 15 Feb 2017 22:03:30 +, Mikolaj Kucharski wrote: > On Thu, Feb 09, 2017 at 02:50:12PM +0100, Andre Stoebe wrote: > > attached is dicepassc, a small utility I wrote. > > > > Comment: > > passphrase generator based on Diceware and EFF wordlists > > > >

Re: NEW: sysutils/yank

On Mon, 20 Feb 2017 21:30:44 +0100, Anton Lindqvist wrote: > > - we're trying to keep track of things in ports using pledge, so > > please add a "# uses pledge()" comment near the WANTLIB > > Thanks, didn't know. Maybe this convention should mentioned in >

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: d...@cvs.openbsd.org2017/02/25 09:04:20 Modified files: infrastructure/templates: Makefile.template Log message: Mention the `uses pledge()' comment prodded by Anton Lindqvist, reminded by looking at dicepassc ok/tweak

Re: NEW: libvterm

On Sat, Feb 25, 2017 at 02:44:50PM +, Edd Barrett wrote: > On Sat, Feb 11, 2017 at 01:26:50PM +, Edd Barrett wrote: > > OK? > > Any love for this, so we can push on with neovim? Lots of compiler warnings for such a small library... Most of them are flukes, I think, but this one should

Re: Remove !LP64 ports

Antoine Jacoutot writes: > On Sat, Feb 25, 2017 at 03:07:34PM +, Christian Weisgerber wrote: >> On 2017-02-24, Christian Weisgerber wrote: >> >> >> Additionally, the shells/scsh port is another shell port that does not >> >> add an entry to

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 08:21:24 Modified files: devel/ruby-rspec/specinfra: Makefile distinfo devel/ruby-rspec/specinfra/pkg: PLIST Log message: update to specinfra-2.66.9

Re: Remove !LP64 ports (was: Re: shells/{scsh,yash} lacks @shell marker in PLIST)

On Sat, Feb 25, 2017 at 03:07:34PM +, Christian Weisgerber wrote: > On 2017-02-24, Christian Weisgerber wrote: > > >> Additionally, the shells/scsh port is another shell port that does not > >> add an entry to /etc/shells > > > > NOT_FOR_ARCHS= ${LP64_ARCHS} > >

Remove !LP64 ports (was: Re: shells/{scsh,yash} lacks @shell marker in PLIST)

On 2017-02-24, Christian Weisgerber wrote: >> Additionally, the shells/scsh port is another shell port that does not >> add an entry to /etc/shells > > NOT_FOR_ARCHS= ${LP64_ARCHS} > > I think this port should be deleted. Actually, I suggest that we remove all

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 08:06:16 Modified files: sysutils/ruby-puppet-syntax: Makefile distinfo sysutils/ruby-puppet-syntax/pkg: PLIST Log message: update to puppet-syntax-2.3.0

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 08:05:40 Modified files: x11/gnome/shell: Makefile distinfo Log message: update to gnome-shell-3.22.3

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 08:05:21 Modified files: java/jna : Makefile distinfo java/jna/patches: patch-build_xml patch-test_com_sun_jna_LibraryLoadTest_java java/jna/pkg

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 08:05:33 Modified files: x11/gnome/mutter: Makefile distinfo Log message: update to mutter-3.22.3

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 08:05:06 Modified files: sysutils/py-ghmi: Makefile distinfo Log message: update to py-ghmi-1.0.18

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: na...@cvs.openbsd.org 2017/02/25 07:59:55 Modified files: textproc/icu4c : Makefile Removed files: textproc/icu4c/patches: patch-source_stubdata_Makefile_in Log message: Stop adding -finhibit-size-directive to the

Re: NEW: lua-bitop

On Sat, Feb 11, 2017 at 05:15:09PM +, Edd Barrett wrote: > A build depend of neovim. > > OK? Anyone had a chance to look at this? Thanks -- Best Regards Edd Barrett http://www.theunixzoo.co.uk

Re: NEW: libvterm

On Sat, Feb 11, 2017 at 01:26:50PM +, Edd Barrett wrote: > OK? Any love for this, so we can push on with neovim? -- Best Regards Edd Barrett http://www.theunixzoo.co.uk

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: jas...@cvs.openbsd.org 2017/02/25 06:55:06 Modified files: lang/elixir: Makefile distinfo Log message: update to elixir-1.4.2

UPDATE: textproc/py-unidecode 0.4.20

Hi, This diff updates py-unidecode to the latest release. Tested on amd64. Comments ? OK ? -- Alexandr Shadchin Index: Makefile === RCS file: /cvs/ports/textproc/py-unidecode/Makefile,v retrieving revision 1.10 diff -u -p -r1.10

[update] news/sabnzbd to 1.2.1

Changelog: https://github.com/sabnzbd/sabnzbd/releases/tag/1.2.1 -- Carlin Index: news/sabnzbd/Makefile === RCS file: /cvs/ports/news/sabnzbd/Makefile,v retrieving revision 1.10 diff -u -p -u -r1.10 Makefile ---

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: na...@cvs.openbsd.org 2017/02/25 05:51:40 Removed files: www/w3m/patches: patch-configure Log message: imlib2-config has been fixed

UPDATE: productivity/when 1.1.36

Hi all, Below is a diff that updates productivity/when to 1.1.36. The old version of when is not compatible with perl 5.24, the new version fixes these problems. Since upstream doesn't give their release tarballs a file name which includes the version number, the distfile is hosted on

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2017/02/25 04:17:30 Modified files: multimedia/xine-lib: Makefile distinfo multimedia/xine-lib/patches: patch-configure_ac patch-m4_decoders_m4

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2017/02/25 04:16:25 Modified files: emulators/qemu : Makefile Added files: emulators/qemu/patches: patch-hw_virtio_virtio_c Log message: Fix interrupts with virtio when not using MSI.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2017/02/25 04:15:17 Modified files: sysutils/awscli: Makefile distinfo Log message: Update to awscli-1.11.55.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2017/02/25 04:15:04 Modified files: net/py-botocore: Makefile distinfo net/py-botocore/pkg: PLIST Log message: Update to py-botocore-1.5.18.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2017/02/25 04:10:09 Modified files: graphics/libgxps: Makefile distinfo Log message: Update to libgxps-0.2.5.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: st...@cvs.openbsd.org 2017/02/25 03:53:15 Modified files: mail/mutt : Makefile distinfo mail/mutt/patches: patch-main_c mail/mutt/pkg : PLIST Removed files: mail/mutt/patches: patch-mutt_ssl_c

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: lan...@cvs.openbsd.org 2017/02/25 03:46:46 Modified files: x11/xfce4/xfce4-genmon: Makefile distinfo x11/xfce4/xfce4-genmon/pkg: PLIST Log message: Update to xfce4-genmon 4.0.0, migrated to Gtk3

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: lan...@cvs.openbsd.org 2017/02/25 03:44:54 Modified files: x11/xfce4/xfce4-diskperf: Makefile distinfo Log message: Update to xfce4-diskperf 2.6.1

Re: [CHANGE] devel/jdk/1.8

On Fri, Feb 24, 2017 at 12:23:15PM -0500, Kurt Miller wrote: > On Fri, 2017-02-24 at 11:02 +, Stuart Henderson wrote: > > On 2017/02/23 13:43, Kurt Miller wrote: > > > > > > This eliminates the with_ipv6 FLAVOR in favor of a different > > > approach. > > > ipv6 support will be compiled into

Re: UPDATE: Lynix-2.4.3

Now the diff On [25/02/17] [07:15P], Gonzalo L. Rodriguez wrote: ; Hello, ; ; Update for Lynis to 2.4.3: ; ; https://cisofy.com/changelog/lynis/2.4.3/ ; ; Ok? Comments? ; ; Cheers.- ; ; -- ; Sending from my toaster. ; -- Sending from my toaster. Index: Makefile

UPDATE: Lynix-2.4.3

Hello, Update for Lynis to 2.4.3: https://cisofy.com/changelog/lynis/2.4.3/ Ok? Comments? Cheers.- -- Sending from my toaster.

UPDATE: SQLmap-1.1.2

Hello, Update for SQLMap to 1.1.2: https://github.com/sqlmapproject/sqlmap/releases/tag/1.1.2 Ok? Comments? Cheers.- -- Sending from my toaster. Index: Makefile === RCS file: /cvs/ports/security/sqlmap/Makefile,v retrieving

Re: NEW: textproc/py-podcastparser

On 2017/02/24 20:47, trondd wrote: > On Thu, February 23, 2017 11:26 pm, trondd wrote: > > This is new dependency for net/gpodder. They replaced py-feedparser with > > their own parser. > > > > Pretty simple so I wouldn't be surprised if I've misssed something or did > > something I didn't need

NEW: x11/x2goclient 4.1.0.0

Hi ports@, after a long way I happy to announce a stable X2Go client port. Please find attached a new tarball with x2goclient-4.1.0.0. "Increase the thread stack size to the default size on Linux, fixes a crash." patch from jca@ and very much feedback. Tested on amd64. $ cat pkg/DESCR The

Re: UPDATE: devel/qt-creator

On Sat, Jan 28, 2017 at 09:25:14PM +0100, Rafael Sadowski wrote: > straightforward patch to 4.2.1. Just tested the update on amd64, works fine for me. Best regards, Caspar Schutijser

UPDATE: graphics/maim

Hi All, straightforward patch to 4.4.47. maim drops imlib2 dependence and switch to C++11. Tested on and64. Regards, Rafael Sadowski Index: Makefile === RCS file: /cvs/ports/graphics/maim/Makefile,v retrieving revision 1.12 diff

UPDATE: graphics/slop

Hi All, update to the last stable version. Testeda with graphics/maim 4.4.47 (Separate e-mail) and directly on amd64. Regards, Rafael Sadowski Index: Makefile === RCS file: /cvs/ports/graphics/slop/Makefile,v retrieving revision