Skip to content
Permalink
Browse files

pure-docs: update to 0.68

  • Loading branch information
agraef authored and pmetzger committed Apr 13, 2018
1 parent 1847856 commit 25af6df482b9b5a326e118de3bd6b0da1be4513d
Showing with 4 additions and 4 deletions.
  1. +4 −4 pure/pure-docs/Portfile
@@ -5,7 +5,7 @@ PortGroup github 1.0

# Keep the versions of pure and pure-docs in sync.
name pure-docs
github.setup agraef pure-lang 0.67 pure-
github.setup agraef pure-lang 0.68 pure-
github.tarball_from releases
distname ${name}-${version}
categories pure lang
@@ -19,9 +19,9 @@ description documentation for the Pure programming language

long_description ${name} is an offline copy of the ${description}.

checksums rmd160 45862f6fd67ab5210edc820bb57528e03f9be218 \
sha256 a1340f662224d3cd092fba4c737e0508a9ea71084b8a5b30e8f39db7f5fad3ac \
size 4849200
checksums rmd160 3c4763f795d5e45ec63b61ba0f02f1a64a8632fc \
sha256 a2a74fc17ca3bdde2b84fb1587b3fe145d5c7363bac1d79c54f5626dcf4cde94 \
size 4852960

variant tmdocs description {Also install the TeXmacs-formatted documentation} {
destroot.target-append install-tm

0 comments on commit 25af6df

Please sign in to comment.
You can’t perform that action at this time.