Package Details: mozart1-bin 1.4.0.20080704_16189-1

Git Clone URL: https://aur.archlinux.org/mozart1-bin.git (read-only)
Package Base: mozart1-bin
Description: An open source implementation of Oz 3.
Upstream URL: https://mozart.github.io/mozart-v1/
Licenses: custom
Conflicts: mozart2
Submitter: beroal
Maintainer: beroal
Last Packager: beroal
Votes: 0
Popularity: 0.000000
First Submitted: 2016-09-17 13:45
Last Updated: 2016-09-17 13:45

Latest Comments

Rucikir commented on 2019-01-21 14:05

I think that files in /usr/lib/mozart/bin/ might better live in /usr/bin.

Nefas commented on 2019-01-15 11:46

I removed all the files and restart again. It worked.

The first time I tried to install this package, the installation was interrupted mid-download due to a network error. I thought that makepkg restarted the downloads from scratch when I restarted the installation (the logs are from a third installation). It explains the missing file for patch too.

beroal commented on 2019-01-15 11:25

@Nefas , look at this:

==> Retrieving sources...
  -> Found bin.rpm

"makepkg" does not download "bin.rpm"; it takes the file from your file system. This is why checksums are different.

Nefas commented on 2019-01-15 10:49

The checksum for bin.rpm doesn't pass:

~~ looking for new pkgbuilds and fetching them...
==> Making package: mozart1-bin 1.4.0.20080704_16189-1 (Tue Jan 15 11:45:22 2019)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
  -> Found bin.rpm
  -> Found arch.patch
==> Validating source files with sha512sums...
    bin.rpm ... FAILED
    arch.patch ... Passed
==> ERROR: One or more files did not pass the validity check!

If I skip the checksum, there is an issue with the patch:

can't find file to patch at input line 3
Perhaps you used the wrong -p or --strip option?
The text leading up to this was:
--------------------------
|--- src/usr/lib/mozart/bin/ozplatform  2008-09-21 15:48:40.000000000 +0300
|+++ src1/usr/lib/mozart/bin/ozplatform 2016-09-17 14:06:20.473679483 +0300
--------------------------
File to patch: