debian/0000755000000000000000000000000012157173601007171 5ustar debian/watch0000644000000000000000000000033012036250527010215 0ustar version=3 opts="downloadurlmangle=s|archive/([\w\d_-]+)/([\d\.]+)/|archive/$1/$2/$1-$2.tar.gz|,\ filenamemangle=s|(.*)/$|IOSpec-$1.tar.gz|" \ http://hackage.haskell.org/packages/archive/IOSpec \ ([\d\.]*\d)/ debian/rules0000755000000000000000000000015512036250527010251 0ustar #!/usr/bin/make -f include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/hlibrary.mk debian/copyright0000644000000000000000000000332712036250527011130 0ustar This package was debianized by Clint Adams on Fri, 17 Jun 2011 23:12:58 -0000 It was downloaded from http://hackage.haskell.org/package/IOSpec Upstream Authors: Wouter Swierstra Copyright: 2006 Wouter Swierstra License: Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of Wouter Swierstra nor the names of other contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. debian/source/0000755000000000000000000000000012036250527010470 5ustar debian/source/format0000644000000000000000000000001412036250527011676 0ustar 3.0 (quilt) debian/compat0000644000000000000000000000000212147616235010373 0ustar 9 debian/control0000644000000000000000000001063312150230136010565 0ustar Source: haskell-iospec Section: haskell Priority: extra Maintainer: Debian Haskell Group Uploaders: Clint Adams Build-Depends: debhelper (>= 9) , cdbs , haskell-devscripts (>= 0.8.15) , ghc , ghc-prof , libghc-mtl-dev , libghc-mtl-prof , libghc-quickcheck2-dev , libghc-quickcheck2-prof , libghc-stream-dev , libghc-stream-prof Build-Depends-Indep: ghc-doc , libghc-mtl-doc , libghc-quickcheck2-doc , libghc-stream-doc Standards-Version: 3.9.4 Homepage: http://hackage.haskell.org/package/IOSpec Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-iospec Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-iospec Package: libghc-iospec-dev Architecture: any Depends: ${haskell:Depends} , ${shlibs:Depends} , ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Pure specification of the IO monad${haskell:ShortBlurb} It consists of several modules, that give a pure specification of functions in the IO monad: . Test.IOSpec.Fork: a pure specification of forkIO. . Test.IOSpec.IORef: a pure specification of most functions that create and manipulate on IORefs. . Test.IOSpec.MVar: a pure specification of most functions that create and manipulate and MVars. . Test.IOSpec.STM: a pure specification of atomically and the STM monad. . Test.IOSpec.Teletype: a pure specification of getChar, putChar, and several related Prelude functions. . Besides these modules containing the specifications, there are a few other important modules: . Test.IOSpec.Types: defines the IOSpec type and several amenities. . Test.IOSpec.VirtualMachine: defines a virtual machine on which to execute pure specifications. . Test.IOSpec.Surrogate: a drop-in replacement for the other modules. Import this and recompile your code once you've finished testing and debugging. . There are several well-documented examples included with the source distribution. . ${haskell:Blurb} Package: libghc-iospec-prof Architecture: any Depends: ${haskell:Depends} , ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Pure specification of the IO monad${haskell:ShortBlurb} Test.IOSpec.Fork: a pure specification of forkIO. . Test.IOSpec.IORef: a pure specification of most functions that create and manipulate on IORefs. . Test.IOSpec.MVar: a pure specification of most functions that create and manipulate and MVars. . Test.IOSpec.STM: a pure specification of atomically and the STM monad. . Test.IOSpec.Teletype: a pure specification of getChar, putChar, and several related Prelude functions. . Besides these modules containing the specifications, there are a few other important modules: . Test.IOSpec.Types: defines the IOSpec type and several amenities. . Test.IOSpec.VirtualMachine: defines a virtual machine on which to execute pure specifications. . Test.IOSpec.Surrogate: a drop-in replacement for the other modules. Import this and recompile your code once you've finished testing and debugging. . There are several well-documented examples included with the source distribution. . ${haskell:Blurb} Package: libghc-iospec-doc Section: doc Architecture: all Depends: ${misc:Depends}, ${haskell:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Description: Pure specification of the IO monad${haskell:ShortBlurb} Test.IOSpec.Fork: a pure specification of forkIO. . Test.IOSpec.IORef: a pure specification of most functions that create and manipulate on IORefs. . Test.IOSpec.MVar: a pure specification of most functions that create and manipulate and MVars. . Test.IOSpec.STM: a pure specification of atomically and the STM monad. . Test.IOSpec.Teletype: a pure specification of getChar, putChar, and several related Prelude functions. . Besides these modules containing the specifications, there are a few other important modules: . Test.IOSpec.Types: defines the IOSpec type and several amenities. . Test.IOSpec.VirtualMachine: defines a virtual machine on which to execute pure specifications. . Test.IOSpec.Surrogate: a drop-in replacement for the other modules. Import this and recompile your code once you've finished testing and debugging. . There are several well-documented examples included with the source distribution. . ${haskell:Blurb} debian/changelog0000644000000000000000000000226212157173601011045 0ustar haskell-iospec (0.2.5-4build1) saucy; urgency=low * Rebuild for new GHC ABIs. -- Colin Watson Sun, 16 Jun 2013 00:23:45 +0100 haskell-iospec (0.2.5-4) unstable; urgency=low * Move Haskell blurb to the end of the description, reduces the impact of #708703 -- Joachim Breitner Sat, 25 May 2013 23:52:25 +0200 haskell-iospec (0.2.5-3) unstable; urgency=low * Enable compat level 9 * Use substvars for Haskell description blurbs -- Joachim Breitner Fri, 24 May 2013 12:51:11 +0200 haskell-iospec (0.2.5-2) experimental; urgency=low [ Giovanni Mascellani ] * Team upload. * Fix Homepage: link [ Joachim Breitner ] * Depend on haskell-devscripts 0.8.13 to ensure this packages is built against experimental * Bump standards version, no change -- Joachim Breitner Sun, 14 Oct 2012 12:01:20 +0200 haskell-iospec (0.2.5-1) unstable; urgency=low * New upstream release -- Iain Lane Thu, 23 Feb 2012 19:50:22 +0000 haskell-iospec (0.2.2-1) unstable; urgency=low * Initial release. -- Clint Adams Fri, 17 Jun 2011 19:12:58 -0400