☰
Navigation :

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-0-unstable_2025-05-25 nur.repos.definfo.dnsmasq-china-list_smartdns A lightweight Firefox theme focused on usability, flexibility, and smooth performance
flexfox-css-3.6.4 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
rime-ice-2025.04.06 nur.repos.definfo.rime-ice Rime 配置：雾凇拼音
sjtu-canvas-helper-1.3.32 nur.repos.definfo.sjtu-canvas-helper An assistant tool for SJTU Canvas online course platform