Skip to content

Commit

Permalink
math/hs-Agda: Fix plist
Browse files Browse the repository at this point in the history 
PR:		277730
Fixes:	ba61a442a89ec86117ece8c356b5c5117a67681e
  • Loading branch information
@arrowd
arrowd committed Mar 16, 2024
1 parent 527e6c4 commit 189bfde
Show file tree
Hide file tree
Showing 2 changed files with 40 additions and 37 deletions.
2 changes: 2 additions & 0 deletions math/hs-Agda/Makefile
View file
Expand Up @@ -19,6 +19,8 @@ USES= cabal

USE_LOCALE= en_US.UTF-8

PLIST_SUB= AGDA_VER=${PORTVERSION}

USE_CABAL= OneTuple-0.4.1.1_1 \
QuickCheck-2.14.3 \
STMonadTrans-0.4.8 \
Expand Down
75 changes: 38 additions & 37 deletions math/hs-Agda/pkg-plist
View file
Expand Up @@ -16,76 +16,77 @@
%%DATADIR%%/emacs-mode/eri.el
%%DATADIR%%/emacs-mode/eri.elc
%%DATADIR%%/lib/prim/Agda/Builtin/Bool.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Bool.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Char.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Char.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Coinduction.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Coinduction.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Equiv.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Equiv.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/HCompU.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/HCompU.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Equality.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Equality.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Erase.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Erase.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Rewrite.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Rewrite.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Float.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Float.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Float/Properties.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Float/Properties.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/FromNat.agda
%%DATADIR%%/lib/prim/Agda/Builtin/FromNat.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/FromNeg.agda
%%DATADIR%%/lib/prim/Agda/Builtin/FromNeg.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/FromString.agda
%%DATADIR%%/lib/prim/Agda/Builtin/FromString.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/IO.agda
%%DATADIR%%/lib/prim/Agda/Builtin/IO.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Int.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Int.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/List.agda
%%DATADIR%%/lib/prim/Agda/Builtin/List.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Maybe.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Maybe.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Nat.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Nat.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/External.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/External.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/Properties.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/Properties.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Sigma.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Sigma.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Size.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Size.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Strict.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Strict.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/String.agda
%%DATADIR%%/lib/prim/Agda/Builtin/String.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/String/Properties.agda
%%DATADIR%%/lib/prim/Agda/Builtin/String/Properties.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/TrustMe.agda
%%DATADIR%%/lib/prim/Agda/Builtin/TrustMe.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Unit.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Unit.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Word.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Word.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Word/Properties.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Word/Properties.agdai
%%DATADIR%%/lib/prim/Agda/Primitive.agda
%%DATADIR%%/lib/prim/Agda/Primitive.agdai
%%DATADIR%%/lib/prim/Agda/Primitive/Cubical.agda
%%DATADIR%%/lib/prim/Agda/Primitive/Cubical.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Bool.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Char.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Char/Properties.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Coinduction.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Equiv.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Glue.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/HCompU.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Id.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Path.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Sub.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality/Erase.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality/Rewrite.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Float.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Float/Properties.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/FromNat.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/FromNeg.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/FromString.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/IO.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Int.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/List.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Maybe.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Nat.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Reflection.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Reflection/External.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Reflection/Properties.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Sigma.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Size.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Strict.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/String.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/String/Properties.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/TrustMe.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Unit.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Word.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Word/Properties.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Primitive.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Primitive/Cubical.agdai
%%DATADIR%%/lib/prim/agda-builtins.agda-lib

0 comments on commit 189bfde

Please sign in to comment.