lfsc-0.20230523-1.fc39 in Fedora 39
↵ Return to the main page of lfsc
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2023-07-28 | Jerry James <loganjerry at gmail dot com> - 0.20230523-1 | - Update to 20230523 git snapshot |
| 2023-07-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.20210305-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-01-19 | Jerry James <loganjerry at gmail dot com> - 0.20210305-5 | - Add -stdint patch to fix FTBFS |
| 2023-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.20210305-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
| 2022-11-28 | Jerry James <loganjerry at gmail dot com> - 0.20210305-4 | - New project URL - Convert License tag to SPDX |
| 2022-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.20210305-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
| 2022-01-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.20210305-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild |
Provides
- lfsc
- lfsc(x86-64)
- liblfscc.so.0()(64bit)
Files
- usr/
- bin/
- lfscc
- lib/
- .build-id/
- b9/
- c63b0f3ea18441753116096658feb63ef0ad00
- ba/
- 02c28f0ce9761749ccb5a4debca9b5c2064ccb
- b9/
- .build-id/
- lib64/
- liblfscc.so.0
- liblfscc.so.0.0.0
- share/
- doc/
- lfsc/
- AUTHORS
- README.md
- lfsc/
- lfsc/
- color_base.plf
- color_euf.plf
- euf_interpolation.plf
- sat.plf
- smt.plf
- th_base.plf
- th_lra-cvc3.plf
- th_lra.plf
- th_real.plf
- licenses/
- lfsc/
- COPYING
- lfsc/
- man/
- man1/
- lfscc.1.gz
- man1/
- doc/
- bin/
Sources on Pagure