Changed name in dependency of standard-library

parent c16d79db
name: piware
depend: agda-stdlib
depend: standard-library
include: src
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment