Bug#888474: ITP: minieap -- Extensible 802.1x client

2018-01-25 Thread GengYu Rao
802.1x authentication methods like Ruijie. I wish to maintain this package. Regards, GengYu Rao

Bug#880546: RFP: Isabelle -- generic proof assistant

2017-11-01 Thread GengYu Rao
actively developed. http://isabelle.in.tum.de/repos/isabelle I hope someone may pack this into debian. Regards, GengYu Rao