idris-0.9.19.1: benchmarks/fasta/fasta.ipkg

package fasta

modules = fasta

executable = fasta
main = fasta