=> Bootstrap dependency digest>=20010302: found digest-20080510 WARNING: [license.mk] Every package should define a LICENSE. ===> Installing for ltsa-2.2nb2 => Generating pre-install file lists => Creating installation directories /usr/bin/install -c -o root -g wheel -m 555 /scratch/devel/ltsa/work/ltsa2.2/ltsa.sh /usr/pkg/bin/ltsa cd /scratch/devel/ltsa/work/ltsa2.2/lib && pax -rwpppm . /usr/pkg/lib/ltsa /bin/chmod -R og-w /usr/pkg/lib/ltsa /usr/bin/install -c -o root -g wheel -m 444 /scratch/devel/ltsa/work/ltsa2.2/fspv2.pdf /usr/pkg/share/doc/ltsa /usr/bin/install -c -o root -g wheel -m 444 /scratch/devel/ltsa/work/ltsa2.2/readme.txt /usr/pkg/share/doc/ltsa cd /scratch/devel/ltsa/work/ltsa2.2/Examples && pax -rwpppm . /usr/pkg/share/examples/ltsa /bin/chmod -R og-w /usr/pkg/share/examples/ltsa => Automatic manual page handling => Generating post-install file lists pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/asynchmsgdemo.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive_overflow.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/rendezvousentrydemo.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgadditionallts.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgdemo.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/abstractprimes.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/announcerlstener.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/boxmover.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/primes.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-non-term.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-revised.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/tuplespace.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/countdown.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/doubleclick.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/interval.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/jitter.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/maximal_progress.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/parcel_router.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/space_invaders.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/timed_producer_consumer.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/timeout.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/tproducer_consumer_store.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/buff.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/coin.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/count.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/countdown.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/drinks.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-iii.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-vi.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/faulty.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/oneshot.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/sum.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/switch.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/thread.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/trafficlight.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/writer.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/bill_ben.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/client_server.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/client_serverv2.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/clock_radio.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/desktop.ini' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/factory.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/itch_scratch.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/maker_user.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/maker_userv2.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/printer_share.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/resource_share.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/switches.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/thread_demo.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/twobuff.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/user.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/counter.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/counter_lockvar.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/display_counter.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/garden.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/garden_lockvar.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_fixedsema.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_nestedsema.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/carpark.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/semademo.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/semaphore.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/deadlockfreephilosophers.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/diningphilosophers.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/maze.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/move.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-reorder.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-timeout.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/actuator.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/calm.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/coin.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/congestedsinglelanebridge.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/high_low.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/mutex_property.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/polite.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswriters.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswritersfair.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswriterspriority.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/safe actuator.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridge.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgedeadlock.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgefair.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/twocoin.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter8_lts/cruisecontrol.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter8_lts/revisedcruisecontrol.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/allocator.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/golfclub.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/golfclubfifo.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/masterslave.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/bridge.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/channel.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/diningphilosophers.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/fairbbridge.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/fmc.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/helicopter.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/lottery.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/maze.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/puzzle.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/tictactoe.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/window.lts' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/ball.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/bridge.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/cellxo.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/channel.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/copter.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/copter_track.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/diners.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/explosion.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/fmc.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/fork.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/ablank.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bblank.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bluecar.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bluecarf.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bridge.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/cblank.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/channel.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/church.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/cranehead.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/eating.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion1.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion10.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion11.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion12.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion13.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion14.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion15.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion16.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion2.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion3.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion4.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion5.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion6.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion7.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion8.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion9.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/fruitbowl.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gantry.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gotleft.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gotright.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/hungry.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/magnet.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/manucell.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/maze.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/pidgeon.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/redcar.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/skater.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/thinking.gif' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/lottery.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/maze.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/phil.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/puzzle.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/smallpuzzle.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/tictactoe.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/tile.xml' pkg_create: can't stat `/usr/pkg/share/examples/ltsa/sceneanimations/xml/window.xml' => Registering installation for ltsa-2.2nb2 pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/asynchmsgdemo.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive_overflow.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/rendezvousentrydemo.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgadditionallts.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgdemo.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/abstractprimes.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/announcerlstener.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/boxmover.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/primes.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-non-term.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-revised.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/tuplespace.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/countdown.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/doubleclick.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/interval.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/jitter.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/maximal_progress.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/parcel_router.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/space_invaders.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/timed_producer_consumer.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/timeout.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/tproducer_consumer_store.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/buff.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/coin.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/count.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/countdown.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/drinks.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-iii.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-vi.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/faulty.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/oneshot.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/sum.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/switch.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/thread.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/trafficlight.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/writer.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/bill_ben.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/client_server.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/client_serverv2.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/clock_radio.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/desktop.ini' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/factory.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/itch_scratch.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/maker_user.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/maker_userv2.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/printer_share.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/resource_share.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/switches.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/thread_demo.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/twobuff.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/user.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/counter.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/counter_lockvar.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/display_counter.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/garden.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/garden_lockvar.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_fixedsema.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_nestedsema.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/carpark.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/semademo.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/semaphore.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/deadlockfreephilosophers.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/diningphilosophers.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/maze.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/move.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-reorder.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-timeout.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/actuator.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/calm.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/coin.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/congestedsinglelanebridge.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/high_low.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/mutex_property.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/polite.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswriters.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswritersfair.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswriterspriority.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/safe actuator.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridge.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgedeadlock.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgefair.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/twocoin.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter8_lts/cruisecontrol.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter8_lts/revisedcruisecontrol.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/allocator.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/golfclub.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/golfclubfifo.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/masterslave.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/bridge.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/channel.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/diningphilosophers.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/fairbbridge.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/fmc.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/helicopter.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/lottery.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/maze.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/puzzle.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/tictactoe.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/window.lts' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/ball.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/bridge.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/cellxo.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/channel.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/copter.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/copter_track.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/diners.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/explosion.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/fmc.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/fork.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/ablank.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bblank.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bluecar.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bluecarf.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bridge.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/cblank.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/channel.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/church.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/cranehead.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/eating.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion1.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion10.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion11.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion12.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion13.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion14.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion15.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion16.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion2.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion3.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion4.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion5.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion6.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion7.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion8.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion9.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/fruitbowl.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gantry.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gotleft.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gotright.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/hungry.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/magnet.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/manucell.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/maze.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/pidgeon.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/redcar.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/skater.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/image/thinking.gif' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/lottery.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/maze.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/phil.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/puzzle.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/smallpuzzle.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/tictactoe.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/tile.xml' is in +CONTENTS but not on filesystem! pkg_admin: ltsa-2.2nb2: File `/usr/pkg/share/examples/ltsa/sceneanimations/xml/window.xml' is in +CONTENTS but not on filesystem! ltsa-2.2nb2 requires installed package kaffe-1.1.7nb3 => Checking file-check results for ltsa-2.2nb2 ERROR: ************************************************************ ERROR: The following files are in the PLIST but not in /usr/pkg: ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/asynchmsgdemo.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive_overflow.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/rendezvousentrydemo.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgadditionallts.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgdemo.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/abstractprimes.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/announcerlstener.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/boxmover.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/primes.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-non-term.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-revised.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter11_lts/tuplespace.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/countdown.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/doubleclick.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/interval.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/jitter.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/maximal_progress.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/parcel_router.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/space_invaders.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/timed_producer_consumer.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/timeout.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter12_lts/tproducer_consumer_store.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/buff.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/coin.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/count.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/countdown.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/drinks.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-iii.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-vi.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/faulty.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/oneshot.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/sum.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/switch.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/thread.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/trafficlight.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter2_lts/writer.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/bill_ben.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/client_server.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/client_serverv2.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/clock_radio.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/desktop.ini ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/factory.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/itch_scratch.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/maker_user.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/maker_userv2.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/printer_share.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/resource_share.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/switches.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/thread_demo.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/twobuff.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter3_lts/user.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/counter.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/counter_lockvar.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/display_counter.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/garden.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter4_lts/garden_lockvar.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_fixedsema.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_nestedsema.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/carpark.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/semademo.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter5_lts/semaphore.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/deadlockfreephilosophers.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/diningphilosophers.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/maze.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/move.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-reorder.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-timeout.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/actuator.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/calm.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/coin.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/congestedsinglelanebridge.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/high_low.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/mutex_property.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/polite.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswriters.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswritersfair.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/readerswriterspriority.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/safe actuator.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridge.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgedeadlock.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgefair.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter7_lts/twocoin.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter8_lts/cruisecontrol.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter8_lts/revisedcruisecontrol.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/allocator.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/golfclub.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/golfclubfifo.lts ERROR: /usr/pkg/share/examples/ltsa/chapter-examples/chapter9_lts/masterslave.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/bridge.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/channel.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/diningphilosophers.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/fairbbridge.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/fmc.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/helicopter.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/lottery.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/maze.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/puzzle.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/tictactoe.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/window.lts ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/ball.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/bridge.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/cellxo.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/channel.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/copter.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/copter_track.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/diners.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/explosion.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/fmc.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/fork.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/ablank.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bblank.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bluecar.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bluecarf.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/bridge.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/cblank.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/channel.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/church.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/cranehead.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/eating.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion1.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion10.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion11.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion12.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion13.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion14.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion15.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion16.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion2.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion3.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion4.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion5.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion6.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion7.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion8.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/explosion9.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/fruitbowl.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gantry.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gotleft.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/gotright.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/hungry.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/magnet.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/manucell.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/maze.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/pidgeon.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/redcar.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/skater.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/image/thinking.gif ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/lottery.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/maze.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/phil.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/puzzle.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/smallpuzzle.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/tictactoe.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/tile.xml ERROR: /usr/pkg/share/examples/ltsa/sceneanimations/xml/window.xml ERROR: ************************************************************ ERROR: The following files are in /usr/pkg but not in the PLIST: ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/AsynchMsgDemo.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/PORT.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/Port_recursive.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/Port_recursive_overflow.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/RendezvousEntryDemo.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/SynchMsgAdditionallts.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter10_lts/SynchMsgDemo.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/AbstractPrimes.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/AnnouncerLstener.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/BoxMover.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/PRIMES.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/SupervisorWorker-non-term.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/SupervisorWorker-revised.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter11_lts/TupleSpace.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/CountDown.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/Doubleclick.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/INTERVAL.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/JITTER.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/Maximal_progress.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/Parcel_router.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/Space_invaders.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/TIMEOUT.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/Timed_producer_consumer.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter12_lts/Tproducer_consumer_store.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/BUFF.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/COIN.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/COUNT.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/DRINKS.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/Faulty.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/OneShot.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/SUM.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/SWITCH.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/THREAD.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/Writer.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/countDown.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/exercises/ex2-1-III.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/exercises/ex2-1-VI.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter2_lts/trafficLight.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/BILL_BEN.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/Desktop.ini ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/FACTORY.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/SWITCHES.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/TWOBUFF.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/USER.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/client_server.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/client_serverv2.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/clock_radio.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/itch_scratch.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/maker_user.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/maker_userv2.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/printer_share.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/resource_share.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter3_lts/thread_demo.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter4_lts/COUNTER.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter4_lts/Counter_lockvar.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter4_lts/Display_Counter.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter4_lts/GARDEN.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter4_lts/Garden_lockvar.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter5_lts/BoundedBuffer.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter5_lts/BoundedBuffer_fixedSema.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter5_lts/BoundedBuffer_nestedSema.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter5_lts/CARPARK.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter5_lts/SemaDemo.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter5_lts/Semaphore.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/DeadlockFreePhilosophers.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/DiningPhilosophers.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/MAZE.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/MOVE.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/printer-scanner-reorder.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/printer-scanner-timeout.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter6_lts/printer-scanner.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/ACTUATOR.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/CALM.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/COIN.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/CongestedSingleLaneBridge.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/HIGH_LOW.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/Mutex_property.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/POLITE.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/ReadersWriters.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/ReadersWritersFair.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/ReadersWritersPriority.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/Safe actuator.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/SingleLaneBridge.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/SingleLaneBridgeDeadlock.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/SingleLaneBridgeFair.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter7_lts/TWOCOIN.LTS ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter8_lts/CruiseControl.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter8_lts/RevisedCruiseControl.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter9_lts/Allocator.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter9_lts/GolfClub.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter9_lts/GolfClubFifo.lts ERROR: /usr/pkg/share/examples/ltsa/Chapter-examples/chapter9_lts/MasterSlave.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/DiningPhilosophers.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/FMC.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/Lottery.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/bridge.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/channel.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/fairBbridge.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/helicopter.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/maze.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/puzzle.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/tictactoe.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/window.lts ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/ball.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/bridge.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/cellXO.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/channel.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/copter.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/copter_track.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/diners.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/explosion.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/fmc.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/fork.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/ablank.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/bblank.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/bluecar.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/bluecarf.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/bridge.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/cblank.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/channel.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/church.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/cranehead.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/eating.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion1.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion10.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion11.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion12.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion13.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion14.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion15.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion16.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion2.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion3.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion4.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion5.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion6.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion7.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion8.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/explosion9.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/fruitbowl.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/gantry.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/gotleft.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/gotright.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/hungry.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/magnet.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/manucell.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/maze.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/pidgeon.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/redcar.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/skater.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/image/thinking.gif ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/lottery.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/maze.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/phil.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/puzzle.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/smallPuzzle.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/tictactoe.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/tile.xml ERROR: /usr/pkg/share/examples/ltsa/SceneAnimations/xml/window.xml *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/devel/ltsa *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/devel/ltsa *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/devel/ltsa