definfo

Packages

Name Attribute Description
aya-prover-0.38 nur.repos.definfo.aya-prover A proof assistant and a dependently-typed language
aya-prover-0.38 nur.repos.definfo.aya-prover-lsp A proof assistant and a dependently-typed language
dnsmasq-china-list-main nur.repos.definfo.dnsmasq-china-list_smartdns A lightweight Firefox theme focused on usability, flexibility, and smooth performance
flexfox-css-3.7.0 nur.repos.definfo.flexfox-css A lightweight Firefox theme focused on usability, flexibility, and smooth performance
lyricer-1.0.3 nur.repos.definfo.lyricer An addon for waybar to display lyrics
nsub-main nur.repos.definfo.nsub Subtitle/Lyrics conversion program (webvtt/srt/lrc)
rime-ice-2025.04.06 nur.repos.definfo.rime-ice Rime 配置:雾凇拼音
sjtu-canvas-helper-1.3.33 nur.repos.definfo.sjtu-canvas-helper An assistant tool for SJTU Canvas online course platform
waylrc-2.2.2 nur.repos.definfo.waylrc An addon for waybar to display lyrics