Skip to content
Snippets Groups Projects
Commit dfd024c9 authored by Ryan Scott's avatar Ryan Scott
Browse files

Merge branch 'wip/mmark' into 'master'

Add mmark as an extra_package

See merge request ghc/head.hackage!179
parents b6e826ff 62467804
No related branches found
No related tags found
No related merge requests found
...@@ -105,6 +105,7 @@ extra_package singletons ...@@ -105,6 +105,7 @@ extra_package singletons
extra_package servant extra_package servant
extra_package hgmp extra_package hgmp
extra_package Agda 2.6.1.3 extra_package Agda 2.6.1.3
extra_package mmark
# Build-tool packages # Build-tool packages
build_tool_package alex build_tool_package alex
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment