Ubuntu
mosml package

Installing on AMD-64 (Macbook Pro)

Asked by Paolo Carletto

I've done installation but it raise an Error:

$ sudo apt-add-repository ppa:pmunksgaard/mosml
$ sudo apt-get update
$ sudo apt-get install mosml
Building dependency tree
Reading state information... Done
Package mosml is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source

E: Package 'mosml' has no installation candidate

Is it been released for AMD-64 architecture?

Thanks, Paolo

Question information

Language:
English Edit question
Status:
Answered
For:
Ubuntu mosml Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:

This question was reopened

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#1

What is the output of :

lsb_release -a; uname -a

Thanks

Revision history for this message
Paolo Carletto (carletto-paolo) said : 		#2

I've modified my source.list file from:

deb http://ppa.launchpad.net/pmunksgaard/mosml/ubuntu trusty main
# deb-src http://ppa.launchpad.net/pmunksgaard/mosml/ubuntu trusty main

to:

deb http://ppa.launchpad.net/pmunksgaard/mosml/ubuntu saucy main
# deb-src http://ppa.launchpad.net/pmunksgaard/mosml/ubuntu saucy main

and it installed Mosml on my system. You should work to resolve this.

Cheers

Revision history for this message
Paolo Carletto (carletto-paolo) said : 		#3

$ lsb_release -a; uname -a

Distributor ID: Ubuntu
Description: Ubuntu 14.04 LTS
Release: 14.04
Codename: trusty
Linux Moses 3.13.0-30-generic #54-Ubuntu SMP Mon Jun 9 22:45:01 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#4

You can edit the file in /etc/apt/sources.list.d

the add-apt-repository command makes files in there, one for each PPA.

The PPA you added only supports saucy and raring
http://ppa.launchpad.net/pmunksgaard/mosml/ubuntu/dists/

It also hasnt been updated in over 5 months.

If you can give the output of:

ls //etc/apt/sources.list.d/*.list

We can advise.

Thanks

Revision history for this message
Paolo Carletto (carletto-paolo) said : 		#5

This is the output:

$ ls -l //etc/apt/sources.list.d/*.list

-rw-r--r-- 1 root root 176 lug 2 14:25 //etc/apt/sources.list.d/google-chrome.list
-rw-r--r-- 1 root root 132 lug 2 14:25 //etc/apt/sources.list.d/mpodroid-mactel-trusty.list
-rw-r--r-- 1 root root 144 lug 2 14:25 //etc/apt/sources.list.d/nilarimogard-webupd8-trusty.list
-rw-r--r-- 1 root root 136 lug 2 14:25 //etc/apt/sources.list.d/pmunksgaard-mosml-trusty.list
-rw-r--r-- 1 root root 130 lug 2 14:25 //etc/apt/sources.list.d/zeitgeist-ppa-trusty.list

Keep me informed about it. Thanks in advnce, Paolo

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#6

sed -i 's/trusty/saucy/g' /etc/apt/sources.list.d/pmunksgaard-mosml-trusty.list
sudo apt-get update
sudo apt-get install mosml

Can you help with this problem?

Provide an answer of your own, or ask Paolo Carletto for more information if necessary.

To post a message you must log in.