Re: [UPDATE] math/z3 to 4.8.16

Frederic Cambus wrote: > Hi ports@, > > Here is a diff to update z3 to 4.8.16. > > Some functions have been removed from the library, so a major bump > is needed. > > Comments? OK? ok op@ I somehow managed to boostrap F* with OCaml using the updated z3. It's still half broken (not the parts

Re: [Update] graphics/glfw 3.3.4 -> 3.3.7

Hi, On Tue, May 03, 2022 at 10:52:07AM -0400, Kurt Mosiejczuk wrote: > On Fri, Apr 22, 2022 at 07:05:28PM -0400, Kurt Mosiejczuk wrote: > > This is an update to glfw to 3.3.7 > > > https://www.glfw.org/changelog.html > > > With the new version installed, I was still able to play minecraft > >

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 15:18:30 Modified files: sysutils/awscli: Makefile distinfo Log message: Update to awscli-1.23.5.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 15:18:17 Modified files: net/py-boto3 : Makefile distinfo Log message: Update to py3-boto3-1.22.5.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 15:18:05 Modified files: net/py-botocore: Makefile distinfo Log message: Update to py3-botocore-1.25.5.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 14:34:57 Modified files: textproc/libxml: Makefile Log message: Bump to be ahead of stable. An update to 2.9.14 will be committed soon (fixing security issues) but I am waiting for a

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 14:33:44 Modified files: textproc/libxml: Tag: OPENBSD_7_1 Makefile Added files: textproc/libxml/patches: Tag: OPENBSD_7_1 patch-HTMLparser_c

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ki...@cvs.openbsd.org 2022/05/03 14:08:18 Modified files: games/fheroes2 : Makefile Log message: Add HOMEPAGE OK thfr@, maintainer

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 13:36:38 Modified files: sysutils/libvirt-python: Makefile distinfo sysutils/libvirt-python/pkg: PLIST Log message: Update to py3-libvirt-8.3.0.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 13:36:19 Modified files: sysutils/libvirt: Makefile distinfo sysutils/libvirt/patches: patch-meson_build sysutils/libvirt/pkg: PLIST Log message: Update to

Re: firefox 99.0.1 fails to start on -current

It starts and runs fine for _me_: _me_ is: OpenBSD 7.1-current (GENERIC.MP) #491: Mon May 2 15:33:23 MDT 2022 dera...@amd64.openbsd.org:/usr/src/sys/arch/amd64/compile/GENERIC.MP real mem = 7711170560 (7353MB) avail mem = 7460143104 (7114MB) random: good seed from bootblocks mpath0 at root

offline use of the ports tree (was: Re: 7.1 ports.tar.gz slightly corrupted?)

In , Sol??ne Rapenne wrote > The ports tree alone isn't helpful without Internet access so I doubt an > argument like "I can use the tarball offline" make sense. On the contrary, I would argue that the ports tree (unpacked from the tarball

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: fcam...@cvs.openbsd.org 2022/05/03 12:24:01 Modified files: audio/ocp : Makefile distinfo audio/ocp/patches: patch-filesel_cdfs_Makefile audio/ocp/pkg : PLIST Log message: Update ocp to 0.2.96.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: fcam...@cvs.openbsd.org 2022/05/03 12:23:07 Modified files: misc/dialog: Makefile distinfo Log message: Update dialog to 1.3-20220414.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: fcam...@cvs.openbsd.org 2022/05/03 12:21:44 Modified files: lang/clisp : Makefile Log message: Follow redirects chain for HOMEPAGE, point to SourceForge directly.

Re: [new] net/gmid -- a gemini server

On 2022/05/02 21:25, Omar Polo wrote: > here's another try for net/gmid : @newuser _gmid:878:878:default:Gmid User:/var/empty:/sbin/nologin just blank rather than "default", i.e. @newuser _gmid:878:878::Gmid User:/var/empty:/sbin/nologin : daemon="${LOCALBASE}/bin/gmid" : daemon_flags="-c

Re: [new] www/py-httpretty-1.1.4

On 2022/05/02 23:55, portno12 wrote: > created by portgen and seems fine on amd64, no tests due to needing a lot of > new or updated ports. its a dep for another port i am working on so will get > tested via that soon portgen isn't really good at python ports at the moment. Here are some

[UPDATE] math/z3 to 4.8.16

Hi ports@, Here is a diff to update z3 to 4.8.16. Some functions have been removed from the library, so a major bump is needed. Comments? OK? Index: Makefile === RCS file: /cvs/ports/math/z3/Makefile,v retrieving revision 1.25

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ki...@cvs.openbsd.org 2022/05/03 11:03:38 Modified files: www/goaccess : Makefile distinfo Log message: update to goaccess-1.5.7

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 10:26:52 Modified files: sysutils/exoscale-cli: Makefile distinfo Log message: Update to exoscale-cli-1.54.0.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 10:21:40 Modified files: x11/gtk3mm : Makefile distinfo Log message: Update to gtk3mm-3.24.6.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 09:55:30 Modified files: devel/glib2mm : Makefile distinfo Log message: update to glib2mm-2.66.3.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:46:54 Modified files: security/openssl/3.0: Tag: OPENBSD_7_1 Makefile Log message: MFC: OpenSSL 3.0: minor bump due to addition of OPENSSL_str{,n}casecmp()

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:45:56 Modified files: security/openssl/3.0: Makefile Log message: OpenSSL 3.0: missed minor bump due to addition of OPENSSL_str{,n}casecmp()

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: fcam...@cvs.openbsd.org 2022/05/03 09:39:24 Modified files: textproc/lowdown: Makefile distinfo textproc/lowdown/pkg: PLIST Log message: Update lowdown to 0.10.0. >From Justin Berthault, thanks! OK Bryan Vyhmeister

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 09:31:53 Modified files: misc/hwdata: Makefile distinfo Log message: Update to hwdata-0.359.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 09:28:30 Modified files: multimedia/gstreamer1: Makefile.inc multimedia/gstreamer1/core: Makefile distinfo multimedia/gstreamer1/core/pkg: PLIST

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:28:19 Modified files: security/openssl/1.1: Makefile Log message: OpenSSL 1.1: bump to be ahead of -stable

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:27:52 Modified files: security/openssl/3.0: Makefile Log message: OpenSSL 3.0: bump to be ahead of -stable

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: fcam...@cvs.openbsd.org 2022/05/03 09:27:52 Modified files: emulators/mame : Makefile distinfo emulators/mame/patches: patch-scripts_genie_lua Log message: Update mame to 0.243.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:25:23 Modified files: security/sslscan: Tag: OPENBSD_7_1 Makefile Log message: sslscan: bump after openssl update (static linking)

CVS: cvs.openbsd.org: ports

/20220503.txt

CVS: cvs.openbsd.org: ports

: Tag: OPENBSD_7_1 patch-ssl_ssl_txt_c Log message: MFC: Update to openssl 3.0.3 c_rehash command injection, OCSP basic verify, and a few low severity issues. https://www.openssl.org/news/secadv/20220503.txt

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:15:11 Modified files: security/sslscan: Makefile Log message: sslscan: bump after openssl 1.1.1 update (static linking)

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: t...@cvs.openbsd.org2022/05/03 09:14:28 Modified files: security/openssl/1.1: Makefile distinfo Log message: Update to OpenSSL 1.1.1o c_rehash command injection https://www.openssl.org/news/secadv/20220503.txt

CVS: cvs.openbsd.org: ports

: Update to openssl 3.0.3 c_rehash command injection, OCSP basic verify, and a few low severity issues. https://www.openssl.org/news/secadv/20220503.txt

Re: [Update] graphics/glfw 3.3.4 -> 3.3.7

On Fri, Apr 22, 2022 at 07:05:28PM -0400, Kurt Mosiejczuk wrote: > This is an update to glfw to 3.3.7 > https://www.glfw.org/changelog.html > With the new version installed, I was still able to play minecraft > without any issues (on amd64). > ok? > (cc maintainer) ping (Fresh copy attached

Re: 7.1 ports.tar.gz slightly corrupted?

On 2022/05/03 15:13, Solène Rapenne wrote: > Le Tue, 3 May 2022 14:10:19 +0100, > Stuart Henderson a écrit : > > > On 2022/05/02 20:35, Jonathan Thornburg wrote: > > > The 7.1 ports.tar.gz (I tried downloading from both > > > https://ftp.openbsd.org/pub/OpenBSD/ > > >

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: lan...@cvs.openbsd.org 2022/05/03 07:37:13 Modified files: www/firefox-esr: Tag: OPENBSD_7_1 Makefile distinfo Log message: www/firefox-esr: MFC update to 91.9.0. see https://www.mozilla.org/en-US/firefox/91.9.0/releasenotes/

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: lan...@cvs.openbsd.org 2022/05/03 07:36:29 Modified files: www/firefox-esr: Makefile distinfo www/firefox-esr-i18n: Makefile.inc distinfo Log message: www/firefox-esr: update to 91.9.0. see

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: lan...@cvs.openbsd.org 2022/05/03 07:34:59 Modified files: www/mozilla-firefox: Makefile distinfo www/mozilla-firefox/patches: patch-toolkit_system_gnome_nsGIOService_cpp

Re: UPDATE: lang/ldc 1.28.0 => 1.29.0

On Mon, Apr 18, 2022, 5:32 PM Ryan Boggs wrote: > > > On Mon, Apr 18, 2022, 4:25 PM Brian Callahan wrote: > >> On 4/14/2022 2:57 PM, Brian Callahan wrote: >> > Hi Ryan -- >> > >> > On 4/14/2022 1:58 PM, Ryan Boggs wrote: >> >> Hi Brian, >> >> >> >> On Tue, Apr 12, 2022 at 6:42 PM Brian Callahan

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: lan...@cvs.openbsd.org 2022/05/03 07:33:11 Modified files: security/nss : Makefile distinfo Log message: security/nss: update to 3.78 see https://firefox-source-docs.mozilla.org/security/nss/releases/nss_3_78.html

Re: 7.1 ports.tar.gz slightly corrupted?

> Should we continue to distribute that file is it's broken due to tar > limitations? Yes, we should. People can extract the tar, then update on top of it, and at minimum this is much faster. At maximum, the small amounts of damage people find in the tar file are not going to hurt the majority.

Re: 7.1 ports.tar.gz slightly corrupted?

On 2022/05/02 20:35, Jonathan Thornburg wrote: > The 7.1 ports.tar.gz (I tried downloading from both > https://ftp.openbsd.org/pub/OpenBSD/ > https://openbsd.cs.toronto.edu/pub/OpenBSD/ > and verified that they gave identical files; checksums are below) > appears to have a slightly corrupted

Re: Is there a way to display the block of another man page inside a man page

Hi, Tilo Stritzky wrote on Tue, May 03, 2022 at 08:45:05AM +0200: > On 02/05/22 01:46 Tom Smyth wrote: >> while documenting nsh and its features, >> I wanted to display the command switches of telnet command inside the >> manual page for nsh, > Within more/less you can get a shell by typing: >

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 04:34:14 Modified files: games/renpy: Makefile Log message: This doesn't need x11/gnome/zenity anymore.

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 04:26:48 Modified files: net/netatalk3 : Makefile distinfo net/netatalk3/patches: patch-contrib_shell_utils_afpstats

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: ajacou...@cvs.openbsd.org 2022/05/03 04:25:18 Modified files: net/netatalk3 : Tag: OPENBSD_7_1 Makefile distinfo net/netatalk3/patches: Tag: OPENBSD_7_1

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: st...@cvs.openbsd.org 2022/05/03 01:59:09 Modified files: security/py-cryptography: Makefile distinfo security/py-cryptography_vectors: Makefile distinfo Log message: update to py3-cryptography-37.0.1

CVS: cvs.openbsd.org: ports

CVSROOT:/cvs Module name:ports Changes by: st...@cvs.openbsd.org 2022/05/03 01:57:43 Modified files: security/py-bcrypt: Makefile distinfo security/py-bcrypt/pkg: PLIST Log message: update to py3-bcrypt-3.2.2

Re: Is there a way to display the block of another man page inside a man page

On 02/05/22 01:46 Tom Smyth wrote: > Hello, > while documenting nsh and its features, > I wanted to display the command switches of telnet command inside the > manual page for nsh, Within more/less you can get a shell by typing: |.command [pipe + period + command] That way you can nest as