Search Criteria
Package Details: hadlink-bin 1.0.1-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/hadlink-bin.git (read-only, click to copy) |
|---|---|
| Package Base: | hadlink-bin |
| Description: | High-assurance URL shortener with formally verified SPARK core |
| Upstream URL: | https://github.com/Jbsco/hadlink |
| Keywords: | ada backend daemon deterministic ffi formally-verified hardened haskell high-assurance http-service infrastructure redirect security self-hosted spark systemd url-shortener web-service |
| Licenses: | AGPL-3.0-or-later |
| Conflicts: | hadlink |
| Provides: | hadlink |
| Submitter: | jbsco |
| Maintainer: | jbsco |
| Last Packager: | jbsco |
| Votes: | 2 |
| Popularity: | 0.57 |
| First Submitted: | 2026-02-02 03:58 (UTC) |
| Last Updated: | 2026-02-02 04:10 (UTC) |