Information for build ghc-dec-0.0.6-1.oc9
| ID | 44383 | ||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | ghc-dec | ||||||||||||||||||||||||||||||||||||
| Version | 0.0.6 | ||||||||||||||||||||||||||||||||||||
| Release | 1.oc9 | ||||||||||||||||||||||||||||||||||||
| Epoch | Draft | False | |||||||||||||||||||||||||||||||||||
| Source | git+https://gitee.com/opencloudos-stream/ghc-dec.git?.#94e3b2d99deed4aab0a64d1c6fb000e1ba297baf | ||||||||||||||||||||||||||||||||||||
| Summary | Decidable propositions | ||||||||||||||||||||||||||||||||||||
| Description | This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '. | ||||||||||||||||||||||||||||||||||||
| Built by | zeyouliu | ||||||||||||||||||||||||||||||||||||
| State | complete | ||||||||||||||||||||||||||||||||||||
| Volume | DEFAULT | ||||||||||||||||||||||||||||||||||||
| Started | Sun, 21 Sep 2025 20:53:43 CST | ||||||||||||||||||||||||||||||||||||
| Completed | Sun, 21 Sep 2025 20:57:35 CST | ||||||||||||||||||||||||||||||||||||
| Task | build (dist-oc9-epol, /opencloudos-stream/ghc-dec.git:.:origin/master) | ||||||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/ghc-dec.git?.#origin/master'}} | ||||||||||||||||||||||||||||||||||||
| Tags |
|
||||||||||||||||||||||||||||||||||||
| RPMs |
|
||||||||||||||||||||||||||||||||||||
| Logs | |||||||||||||||||||||||||||||||||||||
| Changelog | * Sun Sep 21 2025 ocs-bot <ocs-bot@opencloudos.tech> - 0.0.6-1 - [Type] other - [DESC] update to Version 0.0.6 * Thu Jun 05 2025 bbrucezhang <bbrucezhang@tencent.com> - 0.0.5-2 - Rebuilt for loongarch64 * Thu Aug 08 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.0.5-1 - initial build |
