freebsd-ports/math/hs-Agda/distinfo

TIMESTAMP = 1545834764
SHA256 (cabal/Agda-2.5.4.2.tar.gz) = f645add8a47a35da3f37757204fa9c80aeb0993d628fc2057fa343e92e579b1f
SIZE (cabal/Agda-2.5.4.2.tar.gz) = 1988621
lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports. As usual, it is recommended to rebuild or reinstall all the dependent ports and the lang/ghc port itself in one of the following ways: # portmaster -w -r ghc or # portupgrade -fr lang/ghc In case of pkg(8), it is probably safer to remove all the GHC-dependent packages along with GHC and reinstall everything from scratch. For example: # pkg query "%ro" ghc > ghc-pkgs.txt # pkg delete -y lang/ghc # pkg install -y `cat ghc-pkgs.txt` During update some hs-* ports got two PORTREVISION bumps in a row. Other ports got a PORTVERSION update together with one PORTREVISION bump. This is caused by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated, so figuring out which ones require a bump and which are not is too tedious. Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D18707 2019-01-06 13:18:06 +01:00			`TIMESTAMP = 1545834764`
			`SHA256 (cabal/Agda-2.5.4.2.tar.gz) = f645add8a47a35da3f37757204fa9c80aeb0993d628fc2057fa343e92e579b1f`
			`SIZE (cabal/Agda-2.5.4.2.tar.gz) = 1988621`