python-antlr4 4.8-1.0

Architecture: any
Repository: pentium4/community
Description: not found in pkg-api
Upstream URL:
License(s): not found in pkg-api
Package Size: B
Installed Size: B
Build Date: not found in pkg-api
Last Updated: 2020-07-03 09:33:23

Dependencies (4)

Required By (9)

  • coq (make)
  • coq (make)
  • coq [deletion-list] (make)
  • coq-doc (make)
  • coq-doc (make)
  • coq-doc [deletion-list] (make)
  • coqide (make)
  • coqide (make)
  • coqide [deletion-list] (make)