Changeset 53753


Ignore:
Timestamp:
Jul 13, 2009, 8:53:21 AM (10 years ago)
Author:
portindex@…
Message:

Total number of ports parsed: 5908
Ports successfully parsed: 5908
Ports failed: 0

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/PortIndex

    r53752 r53753  
    19201920portdir devel/slib-guile16 description {Wrapper port to properly set up slib and guile16 together} epoch 0 platforms darwin name slib-guile16 depends_lib {port:slib port:guile16} maintainers nomaintainer long_description {Create two symbolic links and a catalog file so that guile16 can find the slib library files.} version 1.0 categories devel revision 2
    19211921smake 393
    1922 portdir devel/smake description {highly portable make program with automake features} homepage http://cdrecord.berlios.de/old/private/smake.html epoch 0 platforms darwin name smake maintainers mww long_description {Smake is a highly portable make program with automake features. It is currently mainly targeted to be used with the makefiles system.} version 1.2a42 categories devel revision 0
     1922portdir devel/smake description {highly portable make program with automake features} homepage http://cdrecord.berlios.de/old/private/smake.html epoch 0 platforms darwin name smake maintainers mww long_description {Smake is a highly portable make program with automake features. It is currently mainly targeted to be used with the makefiles system.} version 1.2a43 categories devel revision 0
    19231923soprano 476
    19241924variants {universal debug darwin_8 darwin_9 docs} depends_build {port:cmake port:automoc} portdir devel/soprano description {The Qt-based RDF framework.} homepage http://soprano.sourceforge.net epoch 0 platforms darwin depends_lib {port:qt4-mac port:clucene port:strigi port:redland} name soprano maintainers nomaintainer long_description {Soprano is a software library that provides an object-oriented C++/Qt4 framework for RDF data.} categories devel version 2.2 revision 1
     
    46644664variants universal portdir math/isabelle description {Isabelle is a popular generic theorem proving environment.} homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 platforms darwin name isabelle depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2009 revision 0
    46654665isabelle-devel 797
    4666 variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 2009-07-08 revision 0
     4666variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 2009-07-12 revision 0
    46674667itl 720
    46684668variants universal portdir math/itl description {Iterative Template Library (based on MTL)} homepage http://www.osl.iu.edu/research/itl/ epoch 0 platforms darwin name itl depends_lib {port:blitz port:mtl} long_description {The Iterative Template Library (ITL) is a generic component library that provides iterative methods for solving linear systems. ITL also provides numerious preconditioners which is for MTL. ITL uses the abstract interface of matrix-vector, vector-vector, and vector-scalor operations MTL is default to serve those operations. ITL is able to use other packages such as Blitz++ and BLAS with the same abstract interface provided.} maintainers nomaintainer categories math version 4.0.0-1 revision 0
     
    95069506portdir security/bkhive description {Recover syskey bootkey from system hive file} homepage http://ophcrack.sourceforge.net epoch 0 name bkhive maintainers gmail.com:cedric.luthi long_description {bkhive is a tool for recovering syskey bootkey from a Microsoft Windows system hive file.} version 2 categories security revision 0
    95079507botan 480
    9508 variants {darwin powerpc ppc64 i386 x86_64 universal} portdir security/botan description {cryptographic algorithms and formats library in C++} homepage http://botan.randombit.net/ epoch 0 platforms darwin name botan long_description {Botan is a C++ library implementing a variety of cryptographic algorithms and formats. At this time, it is quite stable, and is suitable for use in a wide variety of programs.} maintainers mww categories {security devel} version 1.8.2 revision 0
     9508variants {darwin powerpc ppc64 i386 x86_64 universal} portdir security/botan description {cryptographic algorithms and formats library in C++} homepage http://botan.randombit.net/ epoch 0 platforms darwin name botan long_description {Botan is a C++ library implementing a variety of cryptographic algorithms and formats. At this time, it is quite stable, and is suitable for use in a wide variety of programs.} maintainers mww categories {security devel} version 1.8.3 revision 0
    95099509calife 413
    95109510variants universal portdir security/calife description {Provides super user privileges to specific users} homepage http://dev.keltia.net/projects/calife epoch 0 platforms darwin name calife long_description {Calife is a small utility close to sudo(8) but lightweight and it preserves the caller's environment (shell aliases, PATH and so on).} maintainers sky.fr:cbellot categories security version 3.0 revision 0
Note: See TracChangeset for help on using the changeset viewer.