SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Direcory for vendor obs://build_opensuse_org/home:bayrepo
Display 1 - 40 hits of 294.
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8

alt-ergo1.01-2.7x86_64Automated theorem prover including linear arithmeticCentOS 7
alt-ergo-gui1.01-2.7x86_64Graphical front end for alt-ergoCentOS 7
auto-buildrequires1.0-3.5x86_64Work out BuildRequires for rpmbuild automaticallyCentOS 7
auto-buildrequires1.0-3.2x86_64Work out BuildRequires for rpmbuild automaticallyCentOS 6
auto-buildrequires1.0-3.2i686Work out BuildRequires for rpmbuild automaticallyCentOS 6
bay-gcc616.1.0-7.4x86_64Build with default parameters of gcc 6.1CentOS 7
bay-gcc616.1.0-7.3x86_64Build with default parameters of gcc 6.1CentOS 6
bay-gcc616.1.0-7.3i686Build with default parameters of gcc 6.1CentOS 6
bayzr0.2-45.4x86_64The tool for simplification of using some code static analyzCentOS 7
bayzr-citool0.2-45.4x86_64The tool for making SonarQube and bayzr integrationCentOS 7
Canna3.7p3-46.5x86_64A Japanese character set input system.CentOS 7
Canna-devel3.7p3-46.5x86_64Header file and library for developing programs which use CaCentOS 7
Canna-libs3.7p3-46.5x86_64The runtime library for Canna.CentOS 7
capnproto0.5.3.1-1.4x86_64A data interchange format and capability-based RPC systemCentOS 7
capnproto-devel0.5.3.1-1.4x86_64Development files for capnprotoCentOS 7
capnproto-libs0.5.3.1-1.4x86_64Libraries for capnprotoCentOS 7
capstone3.0.4-4.5x86_64A lightweight multi-platform, multi-architecture disassemblyCentOS 7
capstone-devel3.0.4-4.5x86_64Development files for capstoneCentOS 7
capstone-java3.0.4-4.5noarchJava bindings for capstoneCentOS 7
capstone-python3.0.4-4.5x86_64Python bindings for capstoneCentOS 7
clang3.4.2-13.2x86_64A C language family front-end for LLVMCentOS 6
clang3.4.2-13.2i686A C language family front-end for LLVMCentOS 6
clang-analyzer3.4.2-13.2noarchA source code analysis frameworkCentOS 6
clang-devel3.4.2-13.2i686Header files for clangCentOS 6
clang-devel3.4.2-13.2x86_64Header files for clangCentOS 6
cmake2.8.12.2-4.5x86_64Cross-platform make systemCentOS 7
cmake2.8.12.2-4.2i686Cross-platform make systemCentOS 6
cmake2.8.12.2-4.2x86_64Cross-platform make systemCentOS 6
cmake-gui2.8.12.2-4.5x86_64Qt GUI for CMakeCentOS 7
cmake-gui2.8.12.2-4.2i686Qt GUI for CMakeCentOS 6
cmake-gui2.8.12.2-4.2x86_64Qt GUI for CMakeCentOS 6
cmake33.11.0-2.1x86_64Cross-platform make systemCentOS 7
cmake3-data3.11.0-2.1noarchCommon data-files for cmake3CentOS 7
cmake3-doc3.11.0-2.1noarchDocumentation for cmake3CentOS 7
cmake3-gui3.11.0-2.1x86_64Qt GUI for cmake3CentOS 7
compface1.5.2-21.5x86_64Library and tools for handling X-Face dataCentOS 7
compface-devel1.5.2-21.5x86_64Library and development files for handling X-Face dataCentOS 7
coq8.5pl1-1.9x86_64Proof management systemCentOS 7
coq-coqide8.5pl1-1.9x86_64Coqide IDE for Coq proof management systemCentOS 7
coq-doc8.5pl1-1.9noarchDocumentation for Coq proof management systemCentOS 7
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
  
ICM