(hmm... my email doesn't go to the list? anyway...)
> Are you able to update coq/rocq soon? Compcert now needs coq 8.15+ so
> the ancient version of coq in our tree is now a blocker for compcert updates.
I was playing with 8.19.1 around March and it can be packaged without coqide.
(I didn't try b
> It needs a quirks $stem_extensions entry to cover the renaming, and
> compcert BDEP needs changing.
>> The coq project has been renamed to rocq. I'd like to reimport it as
>> math/rocq before doing more updates.
thanks Daniel and stu!
I understand now that access to github.com/coq/coq
> On Sat, 10 May 2025 16:30:26 +
> Lucas Gabriel Vuotto wrote:
> >
> > I don't get how this works. MAKE_ENV works like running `env -i
> > ${MAKE_ENV} ... ${MAKE} ...`; it adds variable to the environment in
> > which make (in this case) is then executed. The way this software
> > gets those
On Sat, May 10, 2025 at 12:39:00PM -0500, izder456 wrote:
> > > diff --git a/x11/emwm-utils/Makefile b/x11/emwm-utils/Makefile
> > > index 0d8b6ba9f61..62e4397077a 100644
> > > --- a/x11/emwm-utils/Makefile
> > > +++ b/x11/emwm-utils/Makefile
> > > @@ -3,6 +3,7 @@ COMMENT = session manager and a
>
On Sat, 10 May 2025 16:30:26 +
Lucas Gabriel Vuotto wrote:
> Hello izzy,
>
> On Sat, May 10, 2025 at 09:53:20AM -0500, izzy Meyer wrote:
> > Hello ports@
> >
> > In a previous mail, I got x11/emwm-utils to work with
> > authenticate(3). In this diff, I set the SHUTDOWN_CMD, REBOOT_CMD,
> >
Hello izzy,
On Sat, May 10, 2025 at 09:53:20AM -0500, izzy Meyer wrote:
> Hello ports@
>
> In a previous mail, I got x11/emwm-utils to work with authenticate(3).
> In this diff, I set the SHUTDOWN_CMD, REBOOT_CMD, and SUSPEND_CMD
> correctly, as well as enable unprivileged access to these command
ports@,
I had noticed that our patch for dhcp-lease-list is points to wrong lease
file.
We had a discussion with naming, and seems that forgot to update the patch.
Ok?
Index: net/isc-dhcp/Makefile
===
RCS file: /home/cvs/ports/net/
Hello ports@
In a previous mail, I got x11/emwm-utils to work with authenticate(3).
In this diff, I set the SHUTDOWN_CMD, REBOOT_CMD, and SUSPEND_CMD
correctly, as well as enable unprivileged access to these commands. I
bumped REVISION as well. Hopefully the pkg-readme is correctly phrased?
Teste
Hi everyone,
Attached is the updated port for kc v2.5.4 (+diff).
Tested on -current.
diff --git a/security/kc/Makefile b/security/kc/Makefile
index 47c6ea996e5..d0b9bbd4ec7 100644
--- a/security/kc/Makefile
+++ b/security/kc/Makefile
@@ -2,8 +2,7 @@ COMMENT = console based password storin
Move to current version, resolving several issues. See changes at
https://github.com/finance-quote/finance-quote/blob/master/Changes
Tested with YahooWeb and FinanceAPI. Please check and commit.
Index: Makefile
===
RCS file: /cvs/por
Ping.
On Fri, May 02, 2025 at 01:32:33PM -0400, Josh Grosse wrote:
> After six years, the Code::Blocks IDE has a new release.
> The changelog is at https://www.codeblocks.org/changelogs/25.03/
>
> Tested on amd64.
> diff --git devel/codeblocks/Makefile devel/codeblocks/Makefile
> old mode 1007
Hi ports@,
ok to import update for net/wstunnel?
It is a feature bump, so it is not necessary to include it in 7.7.
changelog:
https://github.com/erebe/wstunnel/releases/tag/v10.2.0
- Christophdiff --git a/net/wstunnel/Makefile b/net/wstunnel/Makefile
index 605d7561749..0db2b097551 1006
Am 08.05.25 um 19:19 schrieb Stuart Henderson:
On 2025/05/08 18:52, Christoph Liebender wrote:
Am 07.05.25 um 16:48 schrieb Stuart Henderson:
On 2025/05/02 17:51, Christoph Liebender wrote:
Hi @ports,
I recently submitted a patch to update www/anubis to v1.17.0 that also got
applied to 7.7-s
On Thu Apr 24, 2025 at 01:20:29AM +, Sergey A. Osokin wrote:
> Hi,
>
> could you please review and commit following changes for
> www/nginx port.
>
> Thank you.
>
> --
> Sergey A. Osokin
Thanks Sergey, commmitted.
Sadeep Madurange writes:
> I installed KiCad. When I open a schematic file, and click on "Place
> Symbols", KiCad crashes while trying to load footprint libraries. I see
> the following error in dmesg:
>
> ### AML PARSE ERROR (0x279a7): Undefined name:
> \\_SB_.PCI0.RP09.PEGP.NVDN
> error evaluatin
> On May 10, 2025, at 3:25 AM, Yozo TODA wrote:
>
>
>>
>> It needs a quirks $stem_extensions entry to cover the renaming, and
>> compcert BDEP needs changing.
>
>>> The coq project has been renamed to rocq. I'd like to reimport it as
>>> math/rocq before doing more updates.
>
> th
Hello,
I installed KiCad. When I open a schematic file, and click on "Place
Symbols", KiCad crashes while trying to load footprint libraries. I see
the following error in dmesg:
### AML PARSE ERROR (0x279a7): Undefined name:
\\_SB_.PCI0.RP09.PEGP.NVDN
error evaluating: \\_SB_.PCI0.LPCB.EC__._Q26
17 matches
Mail list logo
