finance/taler-merchant: (new port) Merchant components of GNU Taler
These are the components needed to us GNU Taler as merchant (seller)
to accept payments.
biology/muscle: improve port
- remove unnecessary dependencies on gcc and bash
- use INSTALL_PROGRAM instead of INSTALL
Bump PORTREVISION
Reported by: danfe
math/adasat: New Port, DPLL-based SAT solver in Ada
SAT solver based on Davis–Putnam–Logemann–Loveland (DPLL) based
propositional satisfiability in Ada.
Supported features include:
* Conflict analysis and backjumping
* Two-watched literals scheme
* Built-in support for At-Most-One constraints
* Custom theories
PR: 296552
finance/taler-exchange: (new port) distributed privacy-preserving payment system
GNU Taler is a privacy-preserving payment system. Customers can stay
anonymous, but merchants can not hide their income through payments
with GNU Taler. This helps to avoid tax evasion and money laundering.
The primary use case of GNU Taler is payments; it is not meant as a
store of value. Payments are always backed by an existing currency.
Payments are made after exchanging existing money into electronic
money with the help of an Exchange service, that is, a payment
service provider for Taler.
When making a payment, customers only need a loaded wallet. A
merchant can accept payments without making their customers register
on the merchant's Website.
Supported-by: NLNet
Supported-by: Commons Caretakers
net/gnunet: update to 0.27.0 and add postgres
This is the latest release of GNUnet. The postgres dependency
is added for the intended consumers of GNUnet, GNUtaler.
filesystems/curlftpfs: fix use of curl CURLOPT_KRB4LEVEL
Update debian patches and add getpass-prototype.patch
Add an additional patch to fix curlftpfs errors after
drop of Kerberos FTP support by curl >= 8.17.0.
PR: 295897
Reported by: Oliver Adler <bla at a999.de>
biology/muscle: update 3.8.1551 -> 5.1
In 2021, the code was re-written from scratch for MUSCLE v5 to implement
novel algorithms and fully support modern PC hardware.
PR: 294891
Approved by: Maintainer Timeout (>2 months)
