On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote:
> Spot is very specific, it's a C++17 library for verification software
> (mostly involved with infinite automata and their property, the HOMEPAGE
> would be much better at providing examples than me)
>
> It's developed in the lab next
On Thu, Feb 17, 2022 at 02:31:10PM +, Klemens Nanni wrote:
> On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote:
> > Spot is very specific, it's a C++17 library for verification software
> > (mostly involved with infinite automata and their property, the HOMEPAGE
> > would be much
Spot is very specific, it's a C++17 library for verification software
(mostly involved with infinite automata and their property, the HOMEPAGE
would be much better at providing examples than me)
It's developed in the lab next to my work place, and I was curious into
porting it.
Turned out to be
> Am 18.02.2022 um 03:23 schrieb J Doe :
>
> Hi,
>
> I was looking at the ports list for Suricata that is available from:
> https://openports.se/security/suricata
>
> The package update notes mention both Suricata 6.0.3 and 6.0.4, but when I
> check the ports via pkg_add I receive the
Hi Allen,
I committed an update back on 2/12 [0].
[0] https://marc.info/?l=openbsd-ports-cvs=164469136319674=2
On Thu, Feb 17, 2022 at 06:40:03PM +, Allen Smith wrote:
> Hi,
>
> There is a new release of tarsnap.
>
> Cheers,
> -Allen
>
> Index: Makefile
>
On Fri, Feb 11, 2022 at 09:40:12PM -0700, Kurt Mosiejczuk wrote:
> http://build-failures.rhaalovely.net/sparc64/2022-02-09/sysutils/ipmitool.log
> checking for library containing readline... no
> configure: error: ** Unable to find readline required by ipmishell.
$ grep -C3 -e -ledit
Hi,
I was looking at the ports list for Suricata that is available from:
https://openports.se/security/suricata
The package update notes mention both Suricata 6.0.3 and 6.0.4, but when
I check the ports via pkg_add I receive the following:
$ pkg_info -Q suricata
debug-suricata-6.0.2p0
On Sat, Feb 12, 2022 at 11:05:56AM +, Klemens Nanni wrote:
> On Fri, Feb 11, 2022 at 09:40:12PM -0700, Kurt Mosiejczuk wrote:
> > http://build-failures.rhaalovely.net/sparc64/2022-02-09/textproc/docbook-utils.log
>
>
> I'm reposting my earlier mail here with proper subject to keep track.
>
So, I guess this port could be committed as x11/py-i3ipc, right?
Sergey
Hi,
There is a new release of tarsnap.
Cheers,
-Allen
Index: Makefile
===
RCS file: /cvs/ports/sysutils/tarsnap/Makefile,v
retrieving revision 1.15
diff -u -p -r1.15 Makefile
--- Makefile 14 Jul 2019 02:16:52 -
the tarsnap port maintainer committed an update to this version
at the weekend
On 2022/02/17 18:40, Allen Smith wrote:
> Hi,
>
> There is a new release of tarsnap.
>
> Cheers,
> -Allen
>
> Index: Makefile
> ===
> RCS
On 2022/02/17 12:22, Sergey Andrianov wrote:
> So, I guess this port could be committed as x11/py-i3ipc, right?
>
> Sergey
>
Yes, if it gets the required OK or another developer wants to import it.
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 09:54:59
Modified files:
www/webkitgtk4 : Makefile distinfo
www/webkitgtk4/patches: patch-Source_WTF_wtf_PageBlock_h
Log message:
Update to webkitgtk4-2.34.6.
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 10:21:50
Modified files:
infrastructure/templates: mk.conf.template
Log message:
add .poison COMPILERS to mk.conf.template (should be COMPILER)
CVSROOT:/cvs
Module name:ports
Changes by: gonz...@cvs.openbsd.org 2022/02/17 09:09:00
Modified files:
www/nextcloud/21: Tag: OPENBSD_7_0 Makefile distinfo
www/nextcloud/21/pkg: Tag: OPENBSD_7_0 PLIST
Log message:
Update for Nextcloud to 21.0.8
CVSROOT:/cvs
Module name:ports
Changes by: gonz...@cvs.openbsd.org 2022/02/17 09:10:16
Modified files:
www/nextcloud/22: Tag: OPENBSD_7_0 Makefile distinfo
www/nextcloud/22/pkg: Tag: OPENBSD_7_0 PLIST
Log message:
Update for Nextcloud to 22.2.4
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 06:12:08
Modified files:
x11/gnome/gdm : Makefile
x11/gnome/gdm/pkg: PLIST
Added files:
x11/gnome/gdm/pkg: gdm.login
Log message:
Add a custom login class for gdm by
CVSROOT:/cvs
Module name:ports
Changes by: es...@cvs.openbsd.org 2022/02/17 05:42:37
Modified files:
infrastructure/lib/DPB: Engine.pm SubEngine.pm
Log message:
move summary.log generation into the subengine, because it's absurd
to create it in dpb modes that don't
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 06:15:30
Modified files:
meta/gnome : Makefile
meta/gnome/pkg : README-main
Log message:
No need to manually create a login.conf class anymore since gdm provides
it by
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 06:52:15
Modified files:
devel/libwnck3 : Makefile distinfo
Log message:
Update to libwnck3-40.1.
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 06:43:35
Modified files:
textproc/libxslt: Makefile distinfo
textproc/libxslt/pkg: PLIST
Removed files:
textproc/libxslt/patches: patch-tests_fuzz_fuzz_c
Log message:
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 06:43:45
Modified files:
textproc/libxslt: Tag: OPENBSD_7_0 Makefile
Added files:
textproc/libxslt/patches: Tag: OPENBSD_7_0
CVSROOT:/cvs
Module name:ports
Changes by: lan...@cvs.openbsd.org 2022/02/17 06:55:51
Modified files:
graphics/openscenegraph: Makefile
Log message:
graphics/openscenegraph: add direct dependency on graphics/jasper, fixes
breakage reported by ajacoutot@
CVSROOT:/cvs
Module name:ports
Changes by: rob...@cvs.openbsd.org 2022/02/17 07:01:27
Modified files:
databases/mariadb: Makefile
databases/mariadb/pkg: README-server
Log message:
do not encourage the usage of cap_mkdb
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 07:35:44
Modified files:
sysutils/awscli: Makefile distinfo
Log message:
Update to awscli-1.22.56.
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 07:35:16
Modified files:
net/py-botocore: Makefile distinfo
Log message:
Update to py3-botocore-1.24.1.
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 07:35:30
Modified files:
net/py-boto3 : Makefile distinfo
Log message:
Update to py3-boto3-1.21.1.
CVSROOT:/cvs
Module name:ports
Changes by: lan...@cvs.openbsd.org 2022/02/17 07:43:36
Modified files:
www/mozilla-firefox: Makefile distinfo
www/firefox-i18n: Makefile.inc distinfo
Log message:
www/mozilla-firefox: update to 97.0.1.
see
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/18 00:17:02
Modified files:
sysutils/consul: Makefile
sysutils/consul/pkg: PLIST
Added files:
sysutils/consul/pkg: consul.login
Removed files:
sysutils/consul/pkg:
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/18 00:35:28
Modified files:
sysutils/consul: Makefile
sysutils/consul/pkg: PLIST
Removed files:
sysutils/consul/pkg: consul.login
Log message:
Revert part of previous;
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/18 00:38:03
Modified files:
print/cups-filters: Makefile distinfo
Log message:
Update to cups-filters-1.28.12.
CVSROOT:/cvs
Module name:ports
Changes by: sema...@cvs.openbsd.org 2022/02/18 00:47:20
Modified files:
games/minetest : Makefile distinfo
games/minetest/pkg: PLIST
Log message:
update games/minetest to 0.5.5
ok op@
CVSROOT:/cvs
Module name:ports
Changes by: rob...@cvs.openbsd.org 2022/02/17 23:42:35
Modified files:
net/zabbix : Makefile
net/zabbix/pkg : PLIST-main README-server
Log message:
remove _zabbix from the daemon login class and do not suggest creating
a login
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 11:43:41
Modified files:
x11: Makefile
Log message:
+py-i3ipc
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 02:27:12
Modified files:
print/qpdf : Makefile distinfo
Log message:
Update to qpdf-10.6.2.
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 02:05:35
Modified files:
net/librenms : Makefile distinfo
net/librenms/pkg: PLIST
Log message:
update to librenms-22.2.0, includes fixes for XSS and some privilege
level issues
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 02:10:19
Modified files:
net/librenms : Tag: OPENBSD_7_0 Makefile distinfo
net/librenms/patches: Tag: OPENBSD_7_0 patch-LibreNMS_Config_php
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 02:11:21
Modified files:
net/librenms : Makefile
Log message:
bump REVISION to keep it above -stable (dep change python 3.8->3.9)
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 11:43:12
Log message:
imports ports/x11/py-i3ipc, from Sergey Andrianov, ok daniel@
i3's interprocess communication (or ipc) is the interface i3wm uses
to receive commands from client
CVSROOT:/cvs
Module name:ports
Changes by: rob...@cvs.openbsd.org 2022/02/17 14:26:31
Modified files:
databases/postgresql: Makefile
databases/postgresql/pkg: PLIST-server README-server
Added files:
databases/postgresql/pkg: postgresql.login
Log
CVSROOT:/cvs
Module name:ports
Changes by: lan...@cvs.openbsd.org 2022/02/17 02:29:57
Modified files:
geo/postgis: Makefile
Log message:
geo/postgis: fix WANTLIB after gdal change, breakage reported by ajacoutot@
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 02:44:07
Modified files:
net/nanomsg: Makefile
Log message:
nanomsg: explicitly disable doc generation, otherwise it picks up
asciidoctor at configure time. (docs weren't packaged).
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 03:38:26
Modified files:
graphics/xv/patches: patch-src_xv_h patch-src_xvdir_c
patch-src_xvjpeg_c
Log message:
add a bit more info to the text about Nikon D7100
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 03:38:39
Modified files:
graphics/xv: Makefile distinfo
Log message:
update xv to 4.0.0alpha2 tag
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 02:38:17
Modified files:
sysutils/terraform: Makefile distinfo modules.inc
Log message:
Update to terraform-1.1.6.
CVSROOT:/cvs
Module name:ports
Changes by: rob...@cvs.openbsd.org 2022/02/17 02:52:21
Modified files:
databases/mariadb/pkg: PLIST-server
Log message:
do not use the daemon login class for the _mysql user
CVSROOT:/cvs
Module name:ports
Changes by: ajacou...@cvs.openbsd.org 2022/02/17 03:01:25
Modified files:
x11/gnome/librsvg: Makefile distinfo
Log message:
Update to librsvg-2.52.6.
CVSROOT:/cvs
Module name:ports
Changes by: st...@cvs.openbsd.org 2022/02/17 03:10:09
Modified files:
net/libunbound : Makefile distinfo
Removed files:
net/libunbound/patches: patch-sldns_keyraw_c
Log message:
update to libunbound-1.15.0
CVSROOT:/cvs
Module name:ports
Changes by: rob...@cvs.openbsd.org 2022/02/17 02:51:58
Modified files:
databases/mariadb: Makefile
databases/mariadb/pkg: PLIST-server README-server
Added files:
databases/mariadb/pkg: mysqld.login
Log message:
add a
49 matches
Mail list logo