Reverse dependencies on Agda-2.4.2.5

There is a total of 2 dependencies in nightly-2016-02-04

<< Return to package page

• Agda-2.4.2.5@rev:2
• agda-snippets-2.4.2.5@rev:1