Re: Installing Guile 3 on ArchLinux

2022-04-01 Thread Leo Butler
How about: L : [-.056165357653364,.7048726499160467, 0.0,-.704872649916047,.0561653576533636]; printf(true,"~{~17,14,,'0,f~%~}",L); -0.05616535765336 0.70487264991605 0.00 -0.70487264991605 0.05616535765336 To decompose the control string: ~{ ... ~} iterates over the list L; ~

Re: Installing Guile 3 on ArchLinux

2022-04-01 Thread james
On 22/04/01 11:26am, Jérémy Korwin-Zmijowski wrote: > Dear Guilers, > > I am updating the installation page of https://jeko.frama.io and I am > wondering how one can install Guile 3 on Archlinux. If anyone has a > suggestion, let me know ! > > -- > Jérémy Korwin-Zmijowski > > GPG: 036B 4D54 B7B

Re: Installing Guile 3 on ArchLinux

2022-04-01 Thread Daniel Tornabene
you should be able to get it thru the AUR? I believe? I've used manjaro for years because I'm lazy but given that its arch I would imagine getting it installed is as simple as modifying the pkg scripts to point to the right versions of dependencies etc. On Fri, Apr 1, 2022 at 4:54 AM Jérémy Korwin