app-emacs/cubicaltt
Mode for cubical type theory
-
cubicaltt-1.0~amd64 ~x86
View Download Browse License:Overlay: melpa-stable
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.