download mono-4.0.4.1-1-x86_64.pkg.tar.xz
(https://archive.archlinux.org/packages/m/mono/)
and
sudo pacman -U mono-4.0.4.1-1-x86_64.pkg.tar.xz

ok, I downgraded to mono-4.0.4.1-1-x86_64.pkg.tar.xz and used your PKGBUILD.
Now it works. Thank you.

Hello,
thanks for your answer.
Yes I added 'pico' to user group. As root picoscope doesn't detect the picoscope.
(ps2000con works properly so I think it isn't an hardware problem....)

Yes, this would be helpful for me. Thanks again.

I have a picoscope 2205A (and 64 bit arch....), I have installed : - picoscope 6.11.6_4r33-1 - libps2000 2.1.5_3r06-1 - libpicoipp 1.1.2_4r52-1 from aur.... the picoscope is correctly detected (usb 1-2: new high-speed USB device number 24 using xhci_hcd) but picoscope 6 can't find any device (only d...

Hello,
I have tried to change /etc/makepkg.conf ("OPTIONS=(!strip docs ...)") but
picoscope 6 (on the contrary of the previous versions) still doesn't work for me...
under archlinux....
I'd appreciate any help, thanks.