Re: Bug#1067957: [[maude-bugs]] [EXTERNAL] Re: Maude fails to build on armhf

2024-04-10 Thread Andreas Tille
Hi, Am Wed, Apr 10, 2024 at 03:33:53PM -0700 schrieb Steven Eker: > I like that solution since I believe there are 64-bit platforms where long > is 32-bits. I've updated my development version thus: > >   // >   //    timeValue.tv_sec is 64-bit since Linux kernel 5.6 but GMP doesn't > yet have su

Re: Bug#1067957: [[maude-bugs]] [EXTERNAL] Re: Maude fails to build on armhf

2024-04-10 Thread Steven Eker
I like that solution since I believe there are 64-bit platforms where long is 32-bits. I've updated my development version thus:   //   //    timeValue.tv_sec is 64-bit since Linux kernel 5.6 but GMP doesn't yet have support   //    for long long which is a problem on platforms where long is l

Re: Bug#1067957: [[maude-bugs]] [EXTERNAL] Re: Maude fails to build on armhf

2024-04-10 Thread Aaron M. Ucko
Steven Eker writes: > This is harmless on 64-bit architectures since Index will be a signed > 64-bit integer and if it works on 32-bit architectures, it's a work > around until GMP is fixed (hopefully before 2038). I know this suggestion is unorthodox, and quite possibly moot at this point in t

Re: Bug#1068766: RM: maude [i386 armhf armel] -- ROM; Unsuitable for release on 32-bit archs

2024-04-10 Thread Nilesh Patra
On Wed, Apr 10, 2024 at 05:59:13PM +0200, Karsten Hilbert wrote: > Am Wed, Apr 10, 2024 at 09:15:02PM +0530 schrieb Nilesh Patra: > > > since no-one uses med packages on these archs[1]. > > That's certainly not so. OK, I should have chosen different words - will do so next time. > Karsten > --

Re: Bug#1068766: RM: maude [i386 armhf armel] -- ROM; Unsuitable for release on 32-bit archs

2024-04-10 Thread Karsten Hilbert
Am Wed, Apr 10, 2024 at 09:15:02PM +0530 schrieb Nilesh Patra: > since no-one uses med packages on these archs[1]. That's certainly not so. Karsten -- GPG 40BE 5B0E C98E 1713 AFA6 5BC0 3BEA AC80 7D4F C89B

Bug#1068766: RM: maude [i386 armhf armel] -- ROM; Unsuitable for release on 32-bit archs

2024-04-10 Thread Nilesh Patra
Package: ftp.debian.org Severity: normal X-Debbugs-Cc: ma...@packages.debian.org, ti...@debian.org, sramac...@debian.org, debian-med@lists.debian.org Control: affects -1 + src:maude User: ftp.debian@packages.debian.org Usertags: remove Hi, maude FTBFS on 32-bit archs and the temporary fix wi

Re: Bug#1067957: [[maude-bugs]] [EXTERNAL] Re: Maude fails to build on armhf

2024-04-10 Thread Andreas Tille
Hi, I'd suggest to set Build-Depends: architecture-is-64-bit, architecture-is-little-endian and remove 32bit architectures of maude. Kind regards Andreas. -- https://fam-tille.de

Re: libcifpp updated

2024-04-10 Thread Andrius Merkys
Hi Maarten, On 2024-04-03 18:32, Maarten L. Hekkelman wrote: Could someone with the appropriate powers have a look a the updated package for libcifpp and upload it to the proper location? I guess it needs to go through experimental again? I can give it a look. I noticed that libcifpp git repo