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
ocaml5.3.0-isla-sail-esop22-unstable-2025-07-06	nur.repos.definfo.isla-sail	Plugin for Sail that builds instruction set architecture specifications into a form suitable for Isla
nsub-0-unstable-2024-07-06	nur.repos.definfo.nsub	Subtitle/Lyrics conversion program (webvtt/srt/lrc)
ocaml5.3.0-sail-0.19.1-unstable-2025-07-10	nur.repos.definfo.sail	Language for describing the instruction-set architecture (ISA) semantics of processors
sjtu-canvas-helper-1.3.33	nur.repos.definfo.sjtu-canvas-helper	An assistant tool for SJTU Canvas online course platform
waylrc-2.2.3-6	nur.repos.definfo.waylrc	An addon for waybar to display lyrics