Search Criteria
Package Details: mozart1-bin 1.4.0.20080704_16189-1
Package Actions
- View PKGBUILD / View Changes
- Download snapshot
- Search wiki
- Flag package out-of-date
- 1 pending request
- Submit Request
Git Clone URL: | https://aur.archlinux.org/mozart1-bin.git (read-only, click to copy) |
---|---|
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 (UTC) |
Last Updated: | 2016-09-17 13:45 (UTC) |
Dependencies (12)
- emacs (emacs-native-comp-gitAUR, emacs-pgtk-native-comp-gitAUR, emacs-gcc-wayland-devel-binAUR, emacs-ng-gitAUR, emacs-ngAUR, emacs28-gitAUR, emacs29-pgtk-trampolines-gitAUR, emacs-pgtk-gitAUR, emacs29-lucid-native-comp-gitAUR, emacs-lucid-gitAUR, emacs28AUR, emacs28-nativecompAUR, emacs28-noxAUR, emacs-gitAUR, emacs-git-meow-kingAUR, emacs-pretestAUR, emacs-lucidAUR, emacs-lucid-nativecompAUR, emacs29-gitAUR, emacs-nativecomp, emacs-nox, emacs-wayland)
- lib32-gcc-libs (lib32-gccrs-libs-gitAUR, lib32-gcc-libs-gitAUR)
- lib32-glibc (lib32-glibc-gitAUR, lib32-glibc-linux4AUR, lib32-glibc-eacAUR)
- lib32-gmp4AUR
- lib32-libx11
- lib32-libxau
- lib32-libxcb (lib32-libxcb-gitAUR)
- lib32-libxdmcp
- lib32-libxext
- lib32-libxss
- lib32-tk85AUR
- lib32-zlib
Latest Comments
Rucikir commented on 2019-01-21 14:05 (UTC) (edited on 2019-01-21 14:06 (UTC) by Rucikir)
I think that files in
/usr/lib/mozart/bin/
might better live in/usr/bin
.Nefas commented on 2019-01-15 11:46 (UTC)
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 (UTC) (edited on 2019-01-15 11:26 (UTC) by beroal)
@Nefas , look at this:
"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 (UTC)
The checksum for bin.rpm doesn't pass:
If I skip the checksum, there is an issue with the patch: