标有类型理论的包裹

1个包裹上有这个标签。

[合并标签]（仅限受托人）

相关标签：ast公司(1),bsd3型(1),教育的(1),λ立方体(1),图书馆(1),打字检查(1),字体系统(1)

姓名	数据链路	额定值	收入折旧	描述	标签	最后一个U/L	上次版本	维护者
打字机	15	0	1	带有夸张声明的字体库	(ast公司,bsd3型,教育的,λ-铜,图书馆,类型理论,打字检查,字体系统)	2016-07-27		洛基多蒂