kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
465492 commits 42 branches 80 tags 2.7 GiB
Commit graph

1 commit

Author SHA1 Message Date
Yuri Victorovich
e715def410 New port: cad/abc: System for sequential synthesis and verification 
PR:		227254
Submitted by:	Christian Krämer <uddka@student.kit.edu>
 2018-04-24 07:53:29 +00:00