Sisyphus repository
Last update: 18 january 2018 | SRPMs: 18252 | Visits: 10794521
en ru br
Group :: Sciences/Mathematics

CoinCbc

Maintainer: Aleksei Nikiforov
Current version: 2.9.8-alt1
Build time: 21 november 2017, 08:48 (8.3 weeks ago)
Summary: COIN-OR Branch-and-Cut MIP Solver
Changes:

- Updated to upstream stable version 2.9.8.

CoinCgl

Maintainer: Aleksei Nikiforov
Current version: 0.59.9-alt1
Build time: 21 november 2017, 08:40 (8.3 weeks ago)
Summary: COIN-OR Cut Generation Library
Changes:

- Updated to stable upstream version 0.59.9.

CoinClp

Maintainer: Aleksei Nikiforov
Current version: 1.16.10-alt1
Build time: 21 november 2017, 08:35 (8.3 weeks ago)
Summary: COIN-OR Linear Programming Solver
Changes:

- Updated to stable upstream version 1.16.10.

CoinDyLP

Maintainer: Aleksei Nikiforov
Current version: 1.10.3-alt1
Build time: 20 november 2017, 13:36 (8.4 weeks ago)
Summary: COIN-OR dynamic simplex algorithm
Changes:

- Updated to stable upstream version 1.10.3.

CoinMP

Maintainer: Aleksei Nikiforov
Current version: 1.8.3-alt1
Build time: 21 november 2017, 09:10 (8.3 weeks ago)
Summary: C-API library that supports most of the functionality of CLP, CBC, and CGL projects
Changes:

- Updated to upstream version 1.8.3.

CoinMiplib3

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt1.svn20101103.1
Build time: 29 april 2011, 12:14 (350.8 weeks ago)
Summary: COIN-OR miplib3
Changes:

- Fixed build

CoinNetlib

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt1.svn20101103.1
Build time: 29 april 2011, 12:22 (350.8 weeks ago)
Summary: COIN-OR Netlib models
Changes:

- Fixed build

CoinOsi

Maintainer: Aleksei Nikiforov
Current version: 0.107.8-alt1
Build time: 20 november 2017, 13:14 (8.4 weeks ago)
Summary: Coin Open Solver Interface
Changes:

- Updated to stable upstream version 0.107.8.

CoinSYMPHONY

Maintainer: Aleksei Nikiforov
Current version: 5.6.14-alt1
Build time: 21 november 2017, 08:56 (8.3 weeks ago)
Summary: Open-source solver for mixed-integer linear programs (MILPs) written in C
Changes:

- Updated to stable upstream version 5.6.14.

CoinSample

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt1.svn20101031
Build time: 18 december 2010, 14:42 (369.7 weeks ago)
Summary: COIN-OR Sample models
Changes:

- New snapshot

CoinUtils

Maintainer: Aleksei Nikiforov
Current version: 2.10.13-alt1
Build time: 20 november 2017, 13:11 (8.4 weeks ago)
Summary: Open-source collection of classes and functions for COIN-OR project
Changes:

- Updated to stable upstream version 2.10.13.

CoinVol

Maintainer: Aleksei Nikiforov
Current version: 1.5.3-alt1
Build time: 20 november 2017, 13:16 (8.4 weeks ago)
Summary: COIN-OR Volume Algorithm
Changes:

- Updated to upstream version 1.5.3.

OOSuite

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.5600-alt1.svn20150723.1
Build time: 8 june 2016, 01:26 (84.2 weeks ago)
Summary: OpenOpt Suite
Changes:

- (AUTO) subst_x86_64.

OpenAD

Maintainer: Aleksei Nikiforov
Current version: 20140315-alt3
Build time: 13 november 2017, 10:15 (9.4 weeks ago)
Summary: A tool for automatic differentiation (AD) of numerical computer programs
Changes:

- Fixed build with new toolchain.

ProofGeneral

Maintainer: Ilya Mashkin
Current version: 3.7.1-alt1
Build time: 21 october 2008, 21:44 (482.2 weeks ago)
Summary: Emacs interface for Proof Assistants
Changes:

- 3.7.1
- fix url

R-base

Maintainer: Kirill Maslinsky
Current version: 3.4.3-alt1
Build time: 15 january 2018, 20:39 (0.4 weeks ago)
Summary: A language for data analysis and graphics
Changes:

- Version 3.4.3

algencan

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.0.0-alt1.beta
Build time: 27 may 2014, 12:30 (190.3 weeks ago)
Summary: Solving extremely large problems with moderate computer time
Changes:

- Version 3.0.0-beta

algencan2.4.0

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.4.0-alt2
Build time: 27 may 2014, 12:32 (190.3 weeks ago)
Summary: Solving extremely large problems with moderate computer time
Changes:

- Disabled devel subpackage

angel

Maintainer: Aleksei Nikiforov
Current version: 2014.03.13-alt2
Build time: 13 november 2017, 11:26 (9.4 weeks ago)
Summary: ANGEL stands for Automatic differentiation Nested Graph Elimination Library
Changes:

- Rebuilt with new toolchain.

ann

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.1.2-alt4
Build time: 11 march 2011, 07:19 (357.9 weeks ago)
Summary: A Library for Approximate Nearest Neighbor Searching
Changes:

- Added -g into compiler flags

arpack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 96-alt11
Build time: 25 june 2014, 07:40 (186.1 weeks ago)
Summary: Fortran77 subroutines designed to solve large scale eigenvalue problems
Changes:

- Added link libarpack_LINUX.so -> libarpack

arprec

Maintainer: Aleksei Nikiforov
Current version: 2.2.19-alt1
Build time: 21 november 2017, 14:44 (8.2 weeks ago)
Summary: C++/Fortran-90 arbitrary precision package
Changes:

- Updated to upstream version 2.2.19.

axiom

Maintainer: Igor Vlasenko
Current version: 1.2.12-alt1_17jpp8
Build time: 9 november 2017, 09:03 (10.0 weeks ago)
Summary: Axis Object Model
Changes:

- fc27 update

babel

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.0.0-alt2
Build time: 29 february 2016, 15:33 (98.4 weeks ago)
Summary: Language tool for high-performance scientific computing community
Changes:

- Documentation recompiled without doclint.

bamg

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.60-alt4
Build time: 8 april 2016, 01:49 (92.9 weeks ago)
Summary: 2D mesh generator
Changes:

- (.spec) it doesn't tolerate parallel builds, therefore: NPROCS=1

bc

Maintainer: Dmitry V. Levin
Current version: 1.06-alt4
Build time: 18 april 2016, 21:29 (91.3 weeks ago)
Summary: GNU's bc (a numeric processing language) and dc (a calculator)
Changes:

- Added BR: makeinfo.
- Fixed build with makeinfo 6.

bessel

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1-alt1
Build time: 19 september 2014, 12:28 (173.8 weeks ago)
Summary: Bessel Functions - integer order
Changes:

- Initial build for Sisyphus

blitz

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.10-alt1.hg20120703.1
Build time: 3 december 2015, 19:24 (110.9 weeks ago)
Summary: C++ class library for scientific computing
Changes:

- NMU: added BR: texinfo

blzpack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 04.00-alt10
Build time: 11 august 2012, 18:48 (283.7 weeks ago)
Summary: Block LancZos PACKage
Changes:

- Built with OpenBLAS instead of GotoBLAS2

cca-spec-babel

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.8.6-alt8.svn20090721
Build time: 23 january 2016, 21:06 (103.6 weeks ago)
Summary: The Common Component Architecture Specification for Babel
Changes:

- NMU: rebuild with new babel

cca-spec-classic

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.5.7-alt8
Build time: 12 november 2013, 06:26 (218.3 weeks ago)
Summary: Classic Common Component Architecture Specification
Changes:

- Fixed build

cca-spec-neo

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.2.8-alt12.2
Build time: 3 july 2017, 14:56 (28.4 weeks ago)
Summary: Neoclassic binding of the CCA specification and design pattern
Changes:

- Updated build dependencies

cgal

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.10-alt2.S1
Build time: 12 september 2017, 17:04 (18.2 weeks ago)
Summary: Easy access to efficient and reliable geometric algorithms
Changes:

- Rebuilt with boost 1.65.0.
- Added %ubt to release.

cgns-mpi

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.2-alt2.svn20150317
Build time: 20 march 2015, 10:16 (147.8 weeks ago)
Summary: CFD General Notation System (parallel version)
Changes:

- New snapshot

cgns-seq

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.2-alt2.svn20150317
Build time: 20 march 2015, 10:02 (147.8 weeks ago)
Summary: CFD General Notation System (sequential version)
Changes:

- New snapshot

chaco

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.2-alt7
Build time: 1 december 2011, 18:57 (319.9 weeks ago)
Summary: Matrix Orders, Colorings, and Partitionings
Changes:

- Renamed libchaco.so -> libchaco2.so
- Disabled devel-static package

clapack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.2.1-alt2
Build time: 11 august 2012, 18:58 (283.6 weeks ago)
Summary: C version of LAPACK
Changes:

- Built with OpenBLAS instead of GotoBLAS2

cmpfit

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.2-alt1
Build time: 4 september 2012, 07:28 (280.3 weeks ago)
Summary: A MINPACK-1 Least Squares Fitting Library in C
Changes:

- Initial build for Sisyphus

colpack

Maintainer: Aleksei Nikiforov
Current version: 1.0.10-alt1
Build time: 29 september 2017, 07:23 (15.9 weeks ago)
Summary: Graph Coloring for Computing Derivatives
Changes:

- Updated to upstream version 1.0.10.

crlibm

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0beta4-alt2
Build time: 17 may 2014, 03:38 (191.7 weeks ago)
Summary: Correctly Rounded mathematical library
Changes:

- Avoid conflict with libscs

csrch

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1996-alt4
Build time: 14 march 2011, 17:35 (357.4 weeks ago)
Summary: MINPACK-2 implementation of the More and Thuente linesearch
Changes:

- Added -g into compiler flags

cudd

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.5.1-alt2
Build time: 16 march 2015, 13:33 (148.4 weeks ago)
Summary: CUDD: Colorado University Decision Diagram Package
Changes:

- Added all symbols from libutil.a into libmtr.so

dap

Maintainer: Igor Vlasenko
Current version: 3.10-alt1.1
Build time: 3 december 2015, 20:41 (110.9 weeks ago)
Summary: A small statistics and graphics package based on C
Changes:

- NMU: added BR: texinfo

daskr

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2011.06.08-alt1
Build time: 2 december 2011, 03:19 (319.9 weeks ago)
Summary: Differential-algebraic system solver with rootfinding
Changes:

- Version 2011.06.08

ddcal

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.9-alt1
Build time: 16 march 2015, 13:41 (148.4 weeks ago)
Summary: BDD calculator based on CUDD
Changes:

- Initial build for Sisyphus

dsdp

Maintainer: Aleksei Nikiforov
Current version: 5.8-alt11
Build time: 14 november 2017, 07:30 (9.3 weeks ago)
Summary: Implementation of an interior-point method for semidefinite programming
Changes:

- Fixed build with gcc-6.

easymesh

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.4-alt2
Build time: 16 march 2011, 14:08 (357.1 weeks ago)
Summary: A Two-Dimensional Quality Mesh Generator
Changes:

- Rebuilt for debuginfo

exodusii

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 6.09.0-alt1.git20150119.2
Build time: 29 august 2017, 12:48 (20.3 weeks ago)
Summary: A model developed to store and retrieve transient data for finite element analyses
Changes:

- Rebuilt with libnetcdf11.

fft

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1-alt1
Build time: 18 september 2014, 16:12 (174.0 weeks ago)
Summary: General Purpose FFT (Fast Fourier/Cosine/Sine Transform) Package
Changes:

- Initial build for Sisyphus

fft2d

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1-alt1
Build time: 19 september 2014, 10:42 (173.8 weeks ago)
Summary: General Purpose 2D,3D FFT (Fast Fourier Transform) Package
Changes:

- Initial build for Sisyphus

fi_lib

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.2-alt4
Build time: 16 march 2011, 14:54 (357.1 weeks ago)
Summary: A fast interval library
Changes:

- Added -g into compiler flags

fiatxx

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.14159-alt10
Build time: 11 august 2012, 19:11 (283.6 weeks ago)
Summary: FInite element Automatic Tabulator (C++ implementation)
Changes:

- Built with OpenBLAS instead of GotoBLAS2

filibpp

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.0.2-alt1
Build time: 5 september 2011, 06:50 (332.4 weeks ago)
Summary: filib++ is an extension of the interval library filib
Changes:

- Version 3.0.2

filigram

Maintainer: Dmitry V. Levin (QA)
Current version: 7422-alt1.qa1
Build time: 15 april 2013, 20:28 (248.4 weeks ago)
Summary: Pretty pictures generation by mathematical means
Changes:

- NMU: rebuilt for debuginfo.

fricas

Maintainer: Ilya Mashkin
Current version: 1.2.6-alt1
Build time: 21 july 2015, 23:49 (130.2 weeks ago)
Summary: FriCAS Computer Algebra System
Changes:

- 1.2.6

galculator

Maintainer: Michael Shigorin
Current version: 2.1.4-alt1
Build time: 28 october 2015, 19:44 (116.1 weeks ago)
Summary: GTK3 based scientific calculator
Changes:

- new version (watch file uupdate)
- added appdata file

gamerf

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1-alt1
Build time: 19 september 2014, 12:14 (173.8 weeks ago)
Summary: Gamma / Error Functions
Changes:

- Initial build for Sisyphus

genius

Maintainer: Yuri N. Sedunov
Current version: 1.0.23-alt1
Build time: 11 may 2017, 04:45 (36.0 weeks ago)
Summary: Genius Calculator
Changes:

- 1.0.23

geomview

Maintainer: Ilya Mashkin
Current version: 1.9.4-alt4.qa3.1
Build time: 3 december 2015, 12:20 (111.0 weeks ago)
Summary: geomview -- interactive geometry viewing program
Changes:

- NMU: added BR: texinfo

glpk-cut-log

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.52-alt1.git20140616
Build time: 15 march 2015, 15:01 (148.5 weeks ago)
Summary: A fork of glpk with additional logging features for how cuts were generated
Changes:

- Initial build for Sisyphus

gnofract4d

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.14.1-alt1.git20130402
Build time: 28 august 2014, 04:28 (177.0 weeks ago)
Summary: Gnofract 4D is a Gnome-based program to draw fractals
Changes:

- Snapshot from git

gnome-calculator

Maintainer: Yuri N. Sedunov
Current version: 3.26.0-alt1
Build time: 2 november 2017, 06:18 (11.0 weeks ago)
Summary: GTK+3 based desktop calculator
Changes:

- 3.26.0

grace

Maintainer: Michael Shigorin
Current version: 5.1.25-alt4
Build time: 25 december 2017, 17:06 (3.4 weeks ago)
Summary: WYSIWYG tool to make two-dimensional plots of scientific data
Changes:

- build against fftw3 instead of fftw

hlzpack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 04.00-alt8
Build time: 11 august 2012, 20:33 (283.6 weeks ago)
Summary: Hermitian LancZos PACKage
Changes:

- Built with OpenBLAS instead of GotoBLAS2

hypre

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.9.0b-alt1
Build time: 21 february 2013, 09:40 (256.0 weeks ago)
Summary: Scalable algorithms for solving linear systems of equations
Changes:

- Version 2.9.0b

icfs

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.4-alt10
Build time: 11 august 2012, 21:05 (283.6 weeks ago)
Summary: An Incomplete Cholesky Factorization with Limited Memory
Changes:

- Built with OpenBLAS instead of GotoBLAS2

imlxx

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.2a-alt2
Build time: 21 october 2010, 16:19 (378.0 weeks ago)
Summary: Iterative Methods Library
Changes:

- Set devel package as noarch

intcc

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1-alt1
Build time: 18 september 2014, 16:01 (174.0 weeks ago)
Summary: Clenshaw-Curtis-Quadrature (Numerical Automatic Integrator) Package
Changes:

- Initial build for Sisyphus

intde

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1-alt1
Build time: 17 september 2014, 14:01 (174.1 weeks ago)
Summary: Numerical Automatic Integrator for Improper Integral
Changes:

- Initial build for Sisyphus

ipopt

Maintainer: Aleksei Nikiforov
Current version: 3.12.6-alt1
Build time: 21 november 2017, 09:06 (8.3 weeks ago)
Summary: Large-Scale Nonlinear Optimization Solver (Interior Point OPTimizer)
Changes:

- Updated to stable upstream version 3.12.6.

judy

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0.5-alt2
Build time: 7 october 2012, 10:51 (275.6 weeks ago)
Summary: Judy is a C library that implements a dynamic array
Changes:

- Provided Judy1, JudySL and JudyHS (ALT #27813)

lapackpp

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.5.4-alt2.svn20110615
Build time: 11 august 2012, 16:13 (283.7 weeks ago)
Summary: LAPACK++ is a library for high performance linear algebra computations
Changes:

- Rebuilt with OpenBLAS instead of GotoBLAS2

laspack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.12.2-alt5
Build time: 18 march 2011, 10:49 (356.8 weeks ago)
Summary: Solving large sparse systems of linear equations
Changes:

- Added -g into compiler flags

libarpack-ng

Maintainer: Andrey Cherepanov
Current version: 3.5.0-alt1
Build time: 17 may 2017, 03:57 (35.2 weeks ago)
Summary: Fortran 77 subroutines for solving large scale eigenvalue problems
Changes:

- New version

libblacs

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.1-alt14
Build time: 13 july 2017, 15:37 (27.0 weeks ago)
Summary: Basic Linear Algebra Communication Subprograms
Changes:

- Rebuilt with new mpi and toolchain

libginac

Maintainer: Igor Vlasenko
Current version: 1.6.2-alt1.git20140518.1.1
Build time: 4 december 2015, 04:36 (110.9 weeks ago)
Summary: C++ class library for symbolic calculations
Changes:

- NMU: added BR: texinfo

libitpack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1998-alt4
Build time: 18 march 2011, 17:56 (356.8 weeks ago)
Summary: Solving large sparse linear systems by accelerated iterative algorithms
Changes:

- Added -g into compiler flags

libnspcg

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2008-alt4
Build time: 19 march 2011, 19:27 (356.6 weeks ago)
Summary: NonSymmetric Preconditioned Conjugate Gradient
Changes:

- Added -g into compiler flags

libscalapack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.8.0-alt18
Build time: 13 july 2017, 15:15 (27.0 weeks ago)
Summary: Scalable LAPACK library
Changes:

- Rebuilt with new mpi and toolchain

libslatec

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.1-alt7
Build time: 12 august 2012, 17:51 (283.5 weeks ago)
Summary: SLATEC Common Mathematical Library
Changes:

- Built with OpenBLAS instead of GotoBLAS2

libsuitesparse

Maintainer: Paul Wolneykien
Current version: 4.5.5-alt1
Build time: 13 july 2017, 08:12 (27.0 weeks ago)
Summary: Shared libraries for sparse matrix calculations
Changes:

- Updated to upstream version 4.5.5

libsvm

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.18-alt2.1
Build time: 13 march 2016, 11:54 (96.5 weeks ago)
Summary: A Library for Support Vector Machines
Changes:

- (NMU) rebuild with rpm-build-python3-0.1.9
 (for common python3/site-packages/ and auto python3.3-ABI dep when needed)

lp_solve

Maintainer: Michael Shigorin
Current version: 5.5.2.5-alt1
Build time: 17 january 2017, 09:32 (52.3 weeks ago)
Summary: Tool that solves linear programming problem
Changes:

- Updated to 5.5.2.5.

ltilib2

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.140604-alt1
Build time: 5 june 2014, 03:57 (189.0 weeks ago)
Summary: Algorithms and data structures frequently used in image processing and computer vision
Changes:

- Version 2_140604

mathomatic

Maintainer: Fr. Br. George
Current version: 16.0.5-alt1
Build time: 23 october 2012, 10:09 (273.3 weeks ago)
Summary: Small, portable symbolic math program
Changes:

- Autobuild version bump to 16.0.5

maxima

Maintainer: Ilya Mashkin
Current version: 5.41.0-alt2
Build time: 19 december 2017, 21:25 (4.2 weeks ago)
Summary: Maxima Computer Algebra System
Changes:

- rebuild with sbcl 1.4.2

mcl

Maintainer: Kirill Maslinsky
Current version: 1.008.09.149-alt2
Build time: 4 july 2017, 15:50 (28.2 weeks ago)
Summary: Markov cluster algorithm for graphs
Changes:

- Update build for new toolchain

meschach

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.2-alt1.b.3
Build time: 21 march 2011, 06:49 (356.4 weeks ago)
Summary: C-language library of routines for performing matrix computations
Changes:

- Added -g into compiler flags

metis

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 5.1.0-alt1.1
Build time: 7 june 2016, 11:40 (84.3 weeks ago)
Summary: Family of Multilevel Partitioning Algorithms
Changes:

- (AUTO) subst_x86_64.

metis0

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.0.3-alt3
Build time: 24 june 2012, 05:56 (290.6 weeks ago)
Summary: Family of Multilevel Partitioning Algorithms
Changes:

- Removed native directory: /usr/lib/metis

mtl4

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.r7628-alt4.beta1
Build time: 11 august 2012, 23:14 (283.6 weeks ago)
Summary: The Matrix Template Library, Version 4
Changes:

- Built with OpenBLAS instead of GotoBLAS2

mumps

Maintainer: Aleksei Nikiforov
Current version: 4.10.0-alt8
Build time: 20 november 2017, 14:24 (8.4 weeks ago)
Summary: MUltifrontal Massively Parallel sparse direct Solver
Changes:

- Fixed build.

nfft

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.2.3-alt1
Build time: 15 november 2013, 05:05 (217.9 weeks ago)
Summary: Nonequispaced FFT, generalisations, inversion, and applications
Changes:

- Version 3.2.3

ngsolve

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 6.1-alt1.dev.git20150323.qa1.2
Build time: 8 april 2017, 18:51 (40.6 weeks ago)
Summary: NGSolve Finite Element Library
Changes:

- Rebuilt against Tcl/Tk 8.6
- Fixed build:
 + BR: openmpi-devel -> openmpi-compat-devel
 + BR: + libnuma-devel

nlopt

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.4.2-alt1
Build time: 5 june 2014, 05:58 (189.0 weeks ago)
Summary: Library for nonlinear optimization
Changes:

- Version 2.4.2

nsc2ke

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt2
Build time: 21 march 2011, 12:43 (356.4 weeks ago)
Summary: Computing 2D and axisymmetric flows on unstructured meshes
Changes:

- Rebuilt for debuginfo

octave

Maintainer: Paul Wolneykien
Current version: 4.2.1-alt3
Build time: 12 october 2017, 16:07 (14.0 weeks ago)
Summary: GNU Octave -- a high-level language for numerical computations
Changes:

- Rebuilt with qscintilla2 2.10.1.

octave-control

Maintainer: Paul Wolneykien
Current version: 3.0.0-alt2
Build time: 18 may 2017, 10:42 (35.0 weeks ago)
Summary: Computer-Aided Control System Design
Changes:

- regenerated from template by package builder

octave-database

Maintainer: Paul Wolneykien
Current version: 2.4.2-alt2
Build time: 18 may 2017, 10:43 (35.0 weeks ago)
Summary: Database.
Changes:

- regenerated from template by package builder

octave-doctest

Maintainer: Paul Wolneykien
Current version: 0.5.0-alt2
Build time: 18 may 2017, 10:45 (35.0 weeks ago)
Summary: Documentation tests
Changes:

- regenerated from template by package builder

octave-econometrics

Maintainer: Paul Wolneykien
Current version: 1.1.1-alt4
Build time: 18 may 2017, 10:46 (35.0 weeks ago)
Summary: Econometrics.
Changes:

- regenerated from template by package builder

octave-fits

Maintainer: Paul Wolneykien
Current version: 1.0.7-alt2
Build time: 18 may 2017, 10:47 (35.0 weeks ago)
Summary: Reading and writing FITS (Flexible Image Transport System) files.
Changes:

- regenerated from template by package builder

octave-general

Maintainer: Paul Wolneykien
Current version: 2.0.0-alt2
Build time: 18 may 2017, 10:49 (35.0 weeks ago)
Summary: General
Changes:

- regenerated from template by package builder

octave-geometry

Maintainer: Paul Wolneykien
Current version: 3.0.0-alt1
Build time: 18 may 2017, 10:52 (35.0 weeks ago)
Summary: Computational Geometry
Changes:

- regenerated from template by package builder

octave-image

Maintainer: Paul Wolneykien
Current version: 2.6.1-alt2
Build time: 18 may 2017, 10:55 (35.0 weeks ago)
Summary: Image Processing
Changes:

- regenerated from template by package builder

octave-image-acquisition

Maintainer: Paul Wolneykien
Current version: 0.2.2-alt2
Build time: 18 may 2017, 10:56 (35.0 weeks ago)
Summary: Image Acquisition
Changes:

- regenerated from template by package builder

octave-instrument-control

Maintainer: Paul Wolneykien
Current version: 0.2.3-alt2
Build time: 18 may 2017, 10:57 (35.0 weeks ago)
Summary: Instrument Control
Changes:

- regenerated from template by package builder

octave-interval

Maintainer: Paul Wolneykien
Current version: 2.1.0-alt1
Build time: 18 may 2017, 10:58 (35.0 weeks ago)
Summary: Real-valued interval arithmetic
Changes:

- regenerated from template by package builder

octave-io

Maintainer: Paul Wolneykien
Current version: 2.4.7-alt1
Build time: 18 may 2017, 10:59 (35.0 weeks ago)
Summary: Input/Output
Changes:

- regenerated from template by package builder

octave-level-set

Maintainer: Paul Wolneykien
Current version: 0.3.0-alt2
Build time: 18 may 2017, 11:00 (35.0 weeks ago)
Summary: Level Set
Changes:

- regenerated from template by package builder

octave-linear-algebra

Maintainer: Paul Wolneykien
Current version: 2.2.2-alt2
Build time: 18 may 2017, 11:01 (35.0 weeks ago)
Summary: Linear algebra.
Changes:

- regenerated from template by package builder

octave-ltfat

Maintainer: Paul Wolneykien
Current version: 2.2.0-alt1
Build time: 18 may 2017, 12:09 (35.0 weeks ago)
Summary: The Large Time-Frequency Analysis Toolbox
Changes:

- regenerated from template by package builder

octave-mapping

Maintainer: Paul Wolneykien
Current version: 1.2.1-alt2
Build time: 18 may 2017, 12:10 (35.0 weeks ago)
Summary: Mapping Functions
Changes:

- regenerated from template by package builder

octave-miscellaneous

Maintainer: Paul Wolneykien
Current version: 1.2.1-alt2
Build time: 18 may 2017, 12:11 (35.0 weeks ago)
Summary: Miscellaneous functions
Changes:

- regenerated from template by package builder

octave-netcdf

Maintainer: Aleksei Nikiforov
Current version: 1.0.11-alt3
Build time: 28 august 2017, 10:08 (20.4 weeks ago)
Summary: netcdf
Changes:

- Rebuilt with libnetcdf11.

octave-nurbs

Maintainer: Paul Wolneykien
Current version: 1.3.13-alt1
Build time: 18 may 2017, 12:15 (35.0 weeks ago)
Summary: Nurbs.
Changes:

- regenerated from template by package builder

octave-octclip

Maintainer: Paul Wolneykien
Current version: 1.0.8-alt2
Build time: 18 may 2017, 12:17 (35.0 weeks ago)
Summary: GNU Octave clipping polygons tool
Changes:

- regenerated from template by package builder

octave-octproj

Maintainer: Paul Wolneykien
Current version: 1.1.5-alt2
Build time: 18 may 2017, 12:18 (35.0 weeks ago)
Summary: GNU Octave bindings to PROJ.4
Changes:

- regenerated from template by package builder

octave-optim

Maintainer: Paul Wolneykien
Current version: 1.5.2-alt2
Build time: 18 may 2017, 12:20 (35.0 weeks ago)
Summary: Optimization.
Changes:

- regenerated from template by package builder

octave-parallel

Maintainer: Paul Wolneykien
Current version: 3.1.1-alt2
Build time: 18 may 2017, 12:21 (35.0 weeks ago)
Summary: Parallel Computing.
Changes:

- regenerated from template by package builder

octave-quaternion

Maintainer: Paul Wolneykien
Current version: 2.4.0-alt2
Build time: 18 may 2017, 12:22 (35.0 weeks ago)
Summary: Quaternion
Changes:

- regenerated from template by package builder

octave-signal

Maintainer: Paul Wolneykien
Current version: 1.3.2-alt2
Build time: 18 may 2017, 12:25 (35.0 weeks ago)
Summary: Signal Processing.
Changes:

- regenerated from template by package builder

octave-sockets

Maintainer: Paul Wolneykien
Current version: 1.2.0-alt2
Build time: 18 may 2017, 12:26 (35.0 weeks ago)
Summary: Sockets
Changes:

- regenerated from template by package builder

octave-stk

Maintainer: Paul Wolneykien
Current version: 2.4.2-alt1
Build time: 18 may 2017, 12:27 (35.0 weeks ago)
Summary: STK: A Small Toolbox for Kriging
Changes:

- regenerated from template by package builder

octave-struct

Maintainer: Paul Wolneykien
Current version: 1.0.14-alt2
Build time: 18 may 2017, 12:28 (35.0 weeks ago)
Summary: Structure Handling.
Changes:

- regenerated from template by package builder

octave-tisean

Maintainer: Paul Wolneykien
Current version: 0.2.3-alt2
Build time: 18 may 2017, 12:30 (35.0 weeks ago)
Summary: Nonlinear Time Series Analysis.
Changes:

- regenerated from template by package builder

octave-vibes

Maintainer: Paul Wolneykien
Current version: 0.2.0-alt2
Build time: 18 may 2017, 12:31 (35.0 weeks ago)
Summary: Interface to VIBes, Visualizer for Intervals and Boxes
Changes:

- regenerated from template by package builder

octave-video

Maintainer: Igor Vlasenko
Current version: 1.2.3-alt2.1
Build time: 8 june 2017, 18:14 (31.9 weeks ago)
Summary: Video functions
Changes:

- rebuild with ffmpeg

octave-zeromq

Maintainer: Paul Wolneykien
Current version: 1.2.1-alt2
Build time: 18 may 2017, 12:33 (35.0 weeks ago)
Summary: ZeroMQ Toolbox
Changes:

- regenerated from template by package builder

openblas

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.2.14-alt1.git20150324
Build time: 1 june 2015, 11:38 (137.4 weeks ago)
Summary: Optimized BLAS library based on GotoBLAS2 1.13
Changes:

- Version 0.2.14

oski-complex

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0.1h-alt6
Build time: 12 august 2012, 09:51 (283.6 weeks ago)
Summary: BeBOP Optimized Sparse Kernel Interface (OSKI) Library (complex scalars)
Changes:

- Built with OpenBLAS instead of GotoBLAS2

oski-real

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0.1h-alt6
Build time: 12 august 2012, 08:28 (283.6 weeks ago)
Summary: BeBOP Optimized Sparse Kernel Interface (OSKI) Library (real scalars)
Changes:

- Built with OpenBLAS instead of GotoBLAS2

parmetis

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.0.3-alt1
Build time: 5 july 2013, 02:30 (236.9 weeks ago)
Summary: Parallel Graph Partitioning and Fill-reducing Matrix Ordering
Changes:

- Version 4.0.3

parmetis0

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.2.0-alt4
Build time: 24 june 2012, 06:01 (290.6 weeks ago)
Summary: Parallel Graph Partitioning and Fill-reducing Matrix Ordering
Changes:

- Rebuilt with OpenMPI 1.6

parms

Maintainer: Aleksei Nikiforov
Current version: 3.2-alt9
Build time: 18 september 2017, 20:11 (17.4 weeks ago)
Summary: parallel Algebraic Recursive Multilevel Solvers
Changes:

- Fixed build.

pete

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.1.0-alt2
Build time: 2 october 2012, 05:35 (276.3 weeks ago)
Summary: Portable Expression Template Engine
Changes:

- Fixed build with gcc 4.7

pfft

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0.7-alt1.alpha
Build time: 19 july 2013, 02:56 (234.9 weeks ago)
Summary: Parallel FFT based on FFTW
Changes:

- Version 1.0.7-alpha

picosat

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 960-alt2.1
Build time: 2 april 2016, 09:31 (93.7 weeks ago)
Summary: PicoSAT solver
Changes:

- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
 (for ABI dependence and new python3(*) reqs)

plapack

Maintainer: Aleksei Nikiforov
Current version: 3.2-alt14
Build time: 18 september 2017, 23:14 (17.3 weeks ago)
Summary: Parallel Linear Algebra Package (PLAPACK)
Changes:

- Fixed build.

pnfft

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0.6-alt1.alpha
Build time: 19 july 2013, 04:22 (234.9 weeks ago)
Summary: Parallel software library for the calculation of three-dimensional nonequispaced FFTs
Changes:

- Version 1.0.6-alpha

primme

Maintainer: Aleksei Nikiforov
Current version: 1.1-alt13
Build time: 19 september 2017, 11:42 (17.3 weeks ago)
Summary: PReconditioned Iterative MultiMethod Eigensolver
Changes:

- Fixed build.

pspp

Maintainer: Fr. Br. George
Current version: 1.0.1-alt1
Build time: 20 september 2017, 15:47 (17.1 weeks ago)
Summary: A program for statistical analysis of sampled data
Changes:

- Autobuild version bump to 1.0.1

pswarm

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.5-alt10
Build time: 12 august 2012, 13:23 (283.5 weeks ago)
Summary: Global optimization solver for bound and linear constrained problems
Changes:

- Built with OpenBLAS instead of GotoBLAS2

python3-module-py3k-bcrypt

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 0.3-alt1.git20120906.1
Build time: 2 april 2016, 18:39 (93.7 weeks ago)
Summary: Python3 port of py-bcrypt
Changes:

- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
 (for ABI dependence and new python3(*) reqs)

qd

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.3.14-alt1
Build time: 10 september 2013, 04:43 (227.3 weeks ago)
Summary: C++/Fortran-90 double-double and quad-double package
Changes:

- Version 2.3.14

qhull

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2012.1-alt1.qa1
Build time: 12 april 2016, 02:12 (92.3 weeks ago)
Summary: General dimension convex hull programs
Changes:

- Rebuilt for gcc5 C++11 ABI.

qrupdate

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.1.2-alt3
Build time: 8 july 2014, 07:42 (184.3 weeks ago)
Summary: Library for fast updating of QR and Cholesky decompositions
Changes:

- Rebuilt with updated openblas

qtoctave

Maintainer: Fr. Br. George
Current version: 0.10.1-alt3
Build time: 6 july 2017, 08:46 (28.0 weeks ago)
Summary: Frontend for Octave
Changes:

- Fixed build with new toolchain

random

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 20080825-alt3
Build time: 11 february 2011, 06:26 (361.9 weeks ago)
Summary: Fortran-90 pseudo-random number generator
Changes:

- Rebuilt for debuginfo

reduce

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 20150526-alt1
Build time: 30 may 2015, 06:45 (137.7 weeks ago)
Summary: REDUCE algebra system, Open Source release
Changes:

- New snapshot

rkward

Maintainer: Konstantin Artyushkin
Current version: 0.6.5-alt1
Build time: 25 may 2017, 11:24 (34.0 weeks ago)
Summary: Graphical frontend for R language
Changes:

- New 0.6.5 version

rstudio

Maintainer: Konstantin Artyushkin
Current version: 0.98.501-alt2
Build time: 23 august 2016, 11:30 (73.3 weeks ago)
Summary: RStudio IDE is a powerful and productive user interface for R
Changes:

- initial build for ALT Linux Sisyphus

sc

Maintainer: Alexey Voinov
Current version: 7.16-alt3.qa1
Build time: 16 april 2011, 08:05 (352.7 weeks ago)
Summary: Spreadsheet Calculator
Changes:

- NMU: converted menu to desktop file

scilab

Maintainer: Andrey Cherepanov
Current version: 6.0.0-alt3.2
Build time: 2 december 2017, 11:09 (6.7 weeks ago)
Summary: A high-level language and system for numerical computations
Changes:

- NMU: added batik 1.9 to supported batik versions (ALT #34263)

scotch

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 5.1.12b-alt3.svn20110910
Build time: 22 june 2012, 13:40 (290.8 weeks ago)
Summary: Package and libraries for sequential and parallel graph partitioning
Changes:

- Rebuilt with OpenMPI 1.6

shogun

Maintainer: Aleksei Nikiforov
Current version: 6.0.0-alt1
Build time: 29 september 2017, 13:52 (15.8 weeks ago)
Summary: A Large Scale Machine Learning Toolbox
Changes:

- Updated to upstream version 6.0.0.

showmesh

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt3
Build time: 22 march 2011, 09:15 (356.3 weeks ago)
Summary: Mesh visualisation tool for X Windows
Changes:

- Rebuilt for debuginfo

skypack

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 04.00-alt6
Build time: 12 august 2012, 15:51 (283.5 weeks ago)
Summary: SKYline PACKage - computations with matrices stored in a skyline form
Changes:

- Built with OpenBLAS instead of GotoBLAS2

spai

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.2-alt7
Build time: 12 august 2012, 18:17 (283.5 weeks ago)
Summary: SParse Approximate Inverse Preconditioner
Changes:

- Built with OpenBLAS instead of GotoBLAS2

sparskit

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.0-alt8
Build time: 10 july 2014, 04:04 (184.0 weeks ago)
Summary: A basic tool-kit for sparse matrix computations (Version 2)
Changes:

- Updated
- Disabled devel-static package

sprng

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 4.4-alt1
Build time: 26 july 2013, 06:47 (233.9 weeks ago)
Summary: The Scalable Parallel Random Number Generators Library
Changes:

- Version 4.4

sprng1

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt7
Build time: 25 june 2012, 07:02 (290.4 weeks ago)
Summary: The Scalable Parallel Random Number Generators Library
Changes:

- Rebuilt with OpenMPI 1.6

superlu4.0

Maintainer: Andrew Savchenko
Current version: 4.3-alt5
Build time: 20 november 2017, 16:41 (8.4 weeks ago)
Summary: A set of subroutines to solve a sparse linear system A*X=B
Changes:

- Fix build on e2k.

superlu_dist

Maintainer: Aleksei Nikiforov
Current version: 3.3-alt2
Build time: 16 november 2017, 13:41 (9.0 weeks ago)
Summary: Solve a sparse linear system A*X=B for distributed memory
Changes:

- Fixed build with gcc-6.

syfi

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.1.0-alt6.bzr20130304
Build time: 10 july 2017, 13:51 (27.4 weeks ago)
Summary: Symbolic Finite Elements (SyFi) and The SyFi Form Compiler (SFC)
Changes:

- Fixed build with gcc-6

sympy

Maintainer: Aleksei Nikiforov
Current version: 1.1.1-alt1
Build time: 3 october 2017, 09:47 (15.3 weeks ago)
Summary: A Python library for symbolic mathematics
Changes:

- Updated to upstream version 1.1.1.

taucs

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.2-alt11
Build time: 12 august 2012, 17:03 (283.5 weeks ago)
Summary: C library of sparse linear solvers
Changes:

- Built with OpenBLAS instead of GotoBLAS2

tetgen

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.5.0-alt1
Build time: 19 november 2013, 12:45 (217.3 weeks ago)
Summary: Tetrahedral Mesh Generator and Three-Dimensional Delaunay Triangulator
Changes:

- Version 1.5.0
- Disabled devel-static subpackage

tnt

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 126-alt1
Build time: 17 september 2010, 07:13 (382.9 weeks ago)
Summary: Template Numerical Toolkit (TNT)
Changes:

- Initial build for Sisyphus

tnt3

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 3.0.12-alt1.beta
Build time: 17 september 2010, 08:35 (382.9 weeks ago)
Summary: Template Numerical Toolkit (TNT) v3
Changes:

- Initial build for Sisyphus

triangle

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.6-alt7
Build time: 6 july 2012, 04:55 (288.9 weeks ago)
Summary: A Two-Dimensional Quality Mesh Generator and Delaunay Triangulator
Changes:

- Added necessary definitions in /usr/include/triangle/triangle.h
- Disabled devel-static subpackage

wxMaxima

Maintainer: Ilya Mashkin
Current version: 17.05.0-alt1
Build time: 19 june 2017, 23:04 (30.3 weeks ago)
Summary: GUI for the computer algebra system Maxima
Changes:

- 17.05.0

xaos

Maintainer: Ilya Mashkin
Current version: 3.6-alt2
Build time: 11 september 2017, 07:30 (18.4 weeks ago)
Summary: A real-time fractal zoomer
Changes:

- Rebuilt with new libgsl.

xblas

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0.248-alt1.1
Build time: 30 may 2017, 11:28 (33.3 weeks ago)
Summary: Extended and Mixed Precision version of BLAS
Changes:

- E2K: link libxblas.so against libm explicitly
- minor spec cleanup in memoriam

xfractint

Maintainer: Fr. Br. George
Current version: 20.04p14-alt1
Build time: 19 november 2015, 15:50 (113.0 weeks ago)
Summary: The oldest fractal generator program ever
Changes:

- Autobuild version bump to 20.04p14

xmds

Maintainer: Denis Medvedev
Current version: 1.6.6-alt1
Build time: 13 march 2015, 09:02 (148.9 weeks ago)
Summary: xmds - an extensible multi-dimensional simulator for PDEs (Partial Differential Equations) and ODEs
Changes:

- Version 1.6.6

xmds2

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.2.3-alt1
Build time: 10 december 2017, 18:44 (5.5 weeks ago)
Summary: xmds - an extensible multi-dimensional simulator for PDEs (Partial Differential Equations) and ODEs
Changes:

- 2.2.2 -> 2.2.3.

xppaut

Maintainer: Igor Vlasenko
Current version: 6.10-alt2
Build time: 16 august 2012, 15:34 (283.0 weeks ago)
Summary: xppaut -- Phase Plane Plus Auto: Solves many kinds of equations
Changes:

- localized .desktop file

y12m

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 1.0-alt5
Build time: 23 march 2011, 06:26 (356.2 weeks ago)
Summary: Solution of Large and Sparse Systems of Linear Algebraic Equations
Changes:

- Added -g into compiler flags
- Disabled static library

yacas

Maintainer: Michael Shigorin
Current version: 1.4.1-alt1
Build time: 6 march 2016, 18:26 (97.5 weeks ago)
Summary: Yet Another Computer Algebra System
Changes:

- new version (watch file uupdate)

yices

Maintainer: Eugeny A. Rostovtsev (REAL)
Current version: 2.3.0-alt2
Build time: 11 april 2016, 07:55 (92.4 weeks ago)
Summary: The Yices SMT Solver
Changes:

- It fails during parallel builds randomly (sometimes); therefore: NPROCS=1

z3

Maintainer: Aleksei Nikiforov
Current version: 4.5.0-alt1
Build time: 9 october 2017, 14:49 (14.4 weeks ago)
Summary: High-performance theorem prover
Changes:

- Updated to upstream version 4.5.0.

zhu3d

Maintainer: Vitaly Lipatov
Current version: 4.2.6-alt1
Build time: 4 august 2013, 11:39 (232.5 weeks ago)
Summary: OpenGL-based equation viewer and solver
Changes:

- new version 4.2.6 (with rpmrb script)
- update spec
 
design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
current maintainer: Michael Shigorin