Reverse dependencies on Agda-2.4.2.4

There is a total of 2 dependencies in nightly-2015-12-08

<< Return to package page

• Agda-2.4.2.4@rev:1
• agda-snippets-2.4.2.4@rev:1