☰
Navigation :

definfo

Packages

Name Attribute Description
aya-prover-0.38 nur.repos.definfo.aya-prover A proof assistant and a dependently-typed language
dnsmasq-china-list-0-unstable-2025-07-05 nur.repos.definfo.dnsmasq-china-list_smartdns A lightweight Firefox theme focused on usability, flexibility, and smooth performance
flexfox-css-3.7.3 nur.repos.definfo.flexfox-css A lightweight Firefox theme focused on usability, flexibility, and smooth performance
nsub-0-unstable-2024-07-06 nur.repos.definfo.nsub Subtitle/Lyrics conversion program (webvtt/srt/lrc)
sarasa-term-sc-nerd-2.3.1 nur.repos.definfo.sarasa-term-sc-nerd Nerd font based on Sarasa Term SC
sarasa-term-sc-nerd-2.3.1 nur.repos.definfo.sarasa-term-sc-nerd-unhinted Nerd font based on Sarasa Term SC
sjtu-canvas-helper-2.0.0-alpha nur.repos.definfo.sjtu-canvas-helper An assistant tool for SJTU Canvas online course platform
waylrc-2.2.4 nur.repos.definfo.waylrc An addon for waybar to display lyrics