kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/maude/distinfo

22 lines
1.5 KiB
Text
Raw Normal View History

Add patch comments.
2015-12-30 00:34:43 +01:00
$NetBSD: distinfo,v 1.12 2015/12/29 23:34:51 dholland Exp $
Initial import of maude, a system for equational and rewriting logic specification/programming. Package provided by Paolo Torelli in pkg/11280. Attention: Very restrictive license, to be filled out and returned in hardcopy before usage.
2001-03-20 12:57:41 +01:00
Update Maude to version 2.6 This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details.
2011-04-19 21:18:40 +02:00
SHA1 (Maude-2.6.tar.gz) = 3f1ec2f39a22942bb096102d1d8d6eed4510483e
RMD160 (Maude-2.6.tar.gz) = a9387701016e04ba4a256c3db8c9f10195147183
Add SHA512 digests for distfiles for lang category Problems found with existing digests: Package nhc98 distfile nhc98src-1.22.tar.gz a8adc8f22371998ee0657bc0e01058a57d876abc [recorded] 81975fcb5f1dda5efeaabc30ce8c6dceae55e591 [calculated] Problems found locating distfiles: Package gcc-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2 Package ghc7: missing distfile ghc-7.6.3-boot-i386-unknown-freebsd.tar.xz Package icc11: missing distfile l_cproc_p_11.1.080.tgz Package jini: missing distfile jini-1_2_1_001-src.zip Package oo2c: missing distfile oo2c_32-2.0.11.tar.bz2 Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 Package oracle-jdk8: missing distfile jdk-8u60-linux-i586.tar.gz Package oracle-jdk8: missing distfile jdk-8u60-solaris-x64.tar.gz Package oracle-jre8: missing distfile jre-8u60-linux-i586.tar.gz Package oracle-jre8: missing distfile jre-8u60-solaris-x64.tar.gz Package sun-jdk6: missing distfile jdk-6u45-linux-i586.bin Package sun-jdk6: missing distfile jdk-6u45-solaris-i586.sh Package sun-jdk7: missing distfile jdk-7u72-linux-i586.tar.gz Package sun-jdk7: missing distfile jdk-7u72-solaris-i586.tar.gz Package sun-jre6: missing distfile jce_policy-6.zip Package sun-jre6: missing distfile jre-6u45-linux-x64.bin Package sun-jre6: missing distfile jre-6u45-solaris-x64.sh Package sun-jre7: missing distfile jre-7u72-linux-i586.tar.gz Package sun-jre7: missing distfile jre-7u72-solaris-i586.tar.gz Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail.
2015-11-03 23:50:31 +01:00
SHA512 (Maude-2.6.tar.gz) = 3931a540f72acdf2de532eff7b55ba4c9496b38a4b036f4e37d16b860f87728d6df5b9e377fd3489e55f7c369bca5eb9cded9b7a75032c410eff9a6e85da3fab
Update Maude to version 2.6 This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details.
2011-04-19 21:18:40 +02:00
Size (Maude-2.6.tar.gz) = 1600026 bytes
Add patch comments.
2015-12-30 00:34:43 +01:00
SHA1 (patch-ab) = 8c20e9f3c8142a93355bf4e153f2004ce8a90a81
SHA1 (patch-ac) = 5b3eb5bb70989d1d7b699ff41577ca7426de249d
SHA1 (patch-src_BuiltIn_stringOpSymbol.cc) = 77dce3ecc2311374cdc325b5b36bbaab37ba9766
SHA1 (patch-src_Mixfix_bottom.yy) = 0f296d2f2f14f7a7671a3881941a60c640421f99
SHA1 (patch-src_Mixfix_commands.yy) = fb0b64a970634e58e97e98259e739b5f7ea807d9
SHA1 (patch-src_Mixfix_interact.cc) = b1dd55d6edf7d0084a8bdf3dbecc9252515e693c
SHA1 (patch-src_Mixfix_lexerAux.cc) = ba9916527e3618efa6173c4c84b2dbf4b8baf67d
SHA1 (patch-src_Mixfix_lexerAux.hh) = fb2d20bba9050b9ea16952f6bb22123072ffb1e7
SHA1 (patch-src_Mixfix_modules.yy) = d1b5a65d92aed7c32ffe2e5e854fa3aa750610c1
SHA1 (patch-src_Mixfix_token.cc) = ff3637adc38007886f3086354b5ef05d053c4e96
SHA1 (patch-src_Mixfix_top.yy) = 6e4c3d1bf434a9f6807d51e2c811cf9d61cd0ca0
SHA1 (patch-src_ObjectSystem_configSymbol.hh) = 8a09e7d56f2838e3212c546a8fc3230dfa83db98
SHA1 (patch-src_ObjectSystem_objectMap.cc) = c5fa4e5f50cf97f379776265ebb348c0ea11230e
SHA1 (patch-src_ObjectSystem_objectSystemRewritingContext.hh) = ec1f2d654f49cdfca4245537731ce49749d4da80
SHA1 (patch-src_Utility_ropeStuff.hh) = 6f9a674853ecc576e6938261ec5593a34b2e7bc1
Reference in a new issue Copy permalink